A default firmware image is embedded in the bootloader file boot.bin and can only be changed by updating the RCE system files core software.
The user controlled RCE firmware resides on the boot partition in a file named fpga.bit.
...
To switch between the default firmware and the user firmware, reboot the RCE with the correct bitload option
...