I've submitted a bug: MBED SerialN UART drivers are unbuffered in transmit path · Issue #935 · arduino/ArduinoCore-mbed · GitHub
Apparently similar issues have shown up before (and not been addressed):