Arduboy port for the stm32 disco board (F7)

Dependencies:   mbed

mbed.bld/shortlog@8b84860773b0: not found in manifest