Re: [PATCH] efi_loader: Mark efi_bootmgr_release_uridp as static