Working F401 and DISCO F407 device.mk files

This commit c9c8494 is the one with files in it... I just commented out the FLAGS that caused it to stop working, but it should need the floating point.
Maybe the interupts still may be flakey. 
-Larry