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