Update gcc.py

I checked mbed rtos kernel, and it seems that some fix should be made to support hard float
I'll try it later