It looks there is workaround this by not using the MBED version on the Arduino IDE and there fore can use Tiny USB library by adafruit and better yet the BLE52 library to get wireless keyboard and mouse.
You still have to add the hex values and key codes to he BLE52 .h files but otherwise, this works!