Rename NUCLEO_F401RE device makefile

Changed the filename to match the MBED_DEVICE variable setting within.
Merge branch 'working' of github.com:adamgreen/gcc4mbed into working