Doesn't want to work with me.
Emptied card, formatted it.
Followed the instructions.
Says something about loader.xxx and then I find an old R4 kernel with it, copy that across, and now I got the r4i.sys thing.
So, now, I'm back at the beginning, with the r4 original.