acrn-kernel/arch/xtensa/Kconfig.debug