# CONFIG_STRICT_DEVMEM is not set
CONFIG_DEBUG_PAGEALLOC=y
CONFIG_KEXEC_AUTO_RESERVE=y
CONFIG_CRASH_DUMP=y
CONFIG_PROC_VMCORE=y
