acrn-kernel/arch/arm/plat-versatile/Makefile