I was looking at the bootloader code and I noticed that it tries to load OF.mi4 before it tries OF.bin. I tried it and it loads the mi4 file just fine, although a little slower than the .bin file (or at least it seemed). Is there any particular reason for using either format?