Re: [PATCH 1/3] efi_loader: shorten efi_bootmgr_release_uridp_resource()