Some issues with the MbedOS6 and Mbed tools

We’re tracking the status of baremetal support and pending work here: