acrn-kernel/arch/arc/Kconfig.debug