# CONFIG_FUJITSU_ES is not set