efi_loader: definition of GetNextVariableName()