acrn-kernel/scripts/selinux/Makefile