CONFIG_LOG_BUF_SHIFT=15
CONFIG_STOP_MACHINE=y
CONFIG_SMP=y
# CONFIG_IRQ_ALL_CPUS is not set
CONFIG_NR_CPUS=32