Re: [PATCH] efi_loader: address coverity report 492766 for dead code