mbedos: adding autogenerated file from ./mbed-os-to-arduino