Re: [PATCH 2/6] efi: Make efi_run_image() static