When using the M4 core on the GIGA R1 WiFi board, the function `BLE.begin()` always returns 0. ### Additional context Also reported at https://github.com/arduino/ArduinoCore-mbed/issues/723