SUPPORTED_CPU
SUPPORTED_CPU, __CPU_IS_PXA270 ? "PXA270" : "PXA250");
aprint_normal("%s: kernel is configured for " SUPPORTED_CPU