So, I just want to make sure I'm understanding the order correctly.
To begin with we take the fw_encrypted.img, rename it to fw.img and put that on the root of the SD card.
Then, after the ISFShax install, before rebooting, we have to remove the SD card and put the correct fw.img file (not the...