Fix (currently unused) GUID definitions to match the EFI_GUID struct.

Move EFI header files to a location where they can be used on other
architectures besides amd64.

ok deraadt@, krw@