MFC r280351: Stop calling x86_efi_copyin and x86_efi_getdev directly

In HEAD this is to help port loader.efi to both 32 and 64-bit ARM where
we can use this file with minimal changes. Merged to stable/10 to
simplify MFCs of later EFI commits.