# CONFIG_POWER7_CPU is not set