Fix (currently unused) GUID definitions to match the EFI_GUID struct.
Move EFI header files to a location where they can be used on otherarchitectures besides amd64.ok deraadt@, krw@