Just tried building it with pio and manually dragging firmware.bin over to the upload disk.
When resetting the board, I get a new file on the disk called “failed.txt” with the following contents:
The application file format is unknown and cannot be parsed and/or processed
This doesn’t bode well…