I can't answer your question about Radioguy's files, but maybe this link will tell you what you need?
Click:
http://embedded.centurysoftware.com/...ore-WinCE.html
I feel sure these files will be available somewhere, you'll just have to do a lot of Goggle-ing.
With the four files on an SD card, I assume you think you can boot from it? Is that actually possible?
TC