Patches for compiling mbed sources with gcc