...
Note, this behavior will be maintained across all subsequent reboots.
...
In the event that the firmware image is incorrect or corrupted, and the RCE will not boot correctly:
1. Recover the correct bitfile using the bootloader
-or-
2. Enable the default firmware image using the bootloader shell by reseting the bootloader environment (eFUSE RCE only):
zynq-uboot> env default -azynq-uboot> saveenvzynq-uboot> reset