acrn-kernel/arch/avr32/boards/hammerhead/Makefile