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

ok deraadt@, krw@