#undef CONFIG_X86_BIGSMP