OpenBIOS is a fairly decent open-source BIOS replacement. My biggest gripe with OpenBIOS is they dumped the Forth interpreter support. Very low level interfaces are exactly what you want for diagnostics, for example, where an OS would just get in the way.