[PATCH v4 2/7] efi_loader: Make efi_run_image() static