Add my self-made EFI headers
Don't screw up guid strings with multiple calls in the same printf(). Set the model ID, FSB frequency, and device path support properties in the data hub, matching the values they have in VMWare for the most part.