defconfig: turn off kernel debugging

	modified:   arch/arm/configs/marco_defconfig