I followed the steps described above, but got stuck at step 3:

Quote Originally Posted by Neil View Post
Open the patched boot.bin in RGN_Tool <...>
RGN_Tool (v0.78) simply does not open a *.bin file. Not by drag & drop, nor by File -> Open since it only gives the option to open a RGN or GCD file. I may need a step in between. Also the linked post in step 2 is not clear on this point. Renaming the file extension does not work either.