CONFIG_LOCK_KERNEL=y
# CONFIG_CPUSETS is not set
CONFIG_STOP_MACHINE=y
CONFIG_SMP=y
CONFIG_IRQ_ALL_CPUS=y
CONFIG_NR_CPUS=4
# CONFIG_SOFTWARE_SUSPEND is not set