makefiles: check for correct arm-none-eabi-gcc version
Allow any GCC 4.7 subversion
Merge branch 'version_check'