Success!
Alright, I feel a bit stupid now, but the problem seems to have been that when I loaded the EOS onto the MicroSD, I opened the zip file then copied the contents of the 'dstwo' folder to the card. I failed to put onto the card the file ds2boot.dat (which is not in the above folder, but...