[PATCH v2 3/4] efi_loader: carve out efi_run_image()