acrn-kernel/scripts/kconfig/check.sh