[PATCH 4/7] efi_loader: carve out efi_load_image_from_file()