acrn-kernel/tools/debugging/Makefile