defconfig: Disable CONFIG_DEBUG_KERNEL