acrn-kernel/tools/firmware/Makefile