Simple question: When?
Hopefully soon.
mbed people are fixing something for mbuino according to GHI:
https://www.ghielectronics.com/community/forum/topic?id=15929&page=6#msg162165
We are currently working with mbed to fix something on the mbed side.