# CONFIG_POWER8_CPU is not set