Separated out the Etherboot-specific parts of the old pxe.h header.