boot/efi: Port most of our efi boot code to the EDK II headers.