[PATCH] efi_loader: avoid invalid free