acrn-kernel/arch/arm/mach-spear/Makefile.boot