CONFIG_X86_BIGSMP=y