ARM: at91/at91sam9x5: Configuration and Makefile