Sync Makefile.inc with arm-elf port.