Saw it the other day. I think that FreeDOS would have been far more useful than that. Also, he is using Coreboot. You can do a whole bunch of things when you have unrestricted access to the Firmware source code, which is a luxury that BIOS modders don't have.