# CONFIG_POWER5_CPU is not set