Microbit build issues

I had to bring the baud right down to 9600 to get connected over serial.

Yes, this is the standard baud rate for literally every single board running Espruino apart from ESP8266/ESP32 - it might be an idea to add it to the docs, but nobody will have trouble unless they've been trying to use ESP32/etc :)