`/source/bluetooth/MicroBitBLETypes.cpp` does not place `microbit_ble_on_error` in the codal namespace.