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