Nachdem er aus der Dosbox heraus mit Bordmitteln formatiert hat, hat das Laufwerk FAT32.
Wenn er von CD booten könnte, würde auch das keine Rolle spielen, da man die Partition neu anlegen könnte.
Du mußt jetzt also jemanden finden, der Dir eine bootfähige CD basteln kann.
Das bootimage findest Du z.B. hier:
http://www.bootdisk.com/bootdisk.htm