Makefiles modifications required for updated gcc v4.7.2
Currently only done for the Olimex-SAM7EX256 board.