makefiles: check for correct arm-none-eabi-gcc version

This checks for the correct, so supported and recommended version of arm-none-eabi-gcc.
This should resolve #989.

Is this the right place to add this?
Do we want to specifically set it to 4.7.4 or only 4.7?