acrn-kernel/arch/csky/Kconfig.debug