# CONFIG_POWER9_CPU is not set