Bootloader compilation and location [2]

Good day,

I am still struggling with compiling the bootloader for the Arduino Nano 33 BLE.
The `mbed-os-to-arduino` script executes successfully with the `./mbed-os-to-arduino -a -g ARDUINO_NANO33BLE:ARDUINO_NANO33BLE` command and the `libmbed.a` along with the files in `variant/VARIANT_NAME/` are updated.
However I still fail to locate/generate the corresponding bootloader hex file.
The bootloaders in `bootloaders/nano33ble` are still the old ones.

For my purpose I need to apply a change found here [https://github.com/arduino/ArduinoCore-mbed/issues/498](url) to the bootloader and compile the hex file.

How go I generate said hex file?

Greetings,
Dylan

Start with the ./mbed-os-to-arduino script and the bootloaders/nano33ble directory, using the reported ARDUINO_NANO33BLE:ARDUINO_NANO33BLE command as the reproduction case. Trace where the bootloader build outputs its hex file and document the command, output location, and any required steps so the bootloader change from issue #498 can be compiled.

Written by the indexing model from the issue text.