[PATCH v3 4/5] eficonfig: use efi_get_next_variable_name_int()