I might have found a problem with the documentation page for adding kernel modules manually, at Add kernel modules manually — Documentation for Clear Linux* project.
The documentation suggests using the command
sudo swupd search ${module_name}.ko
to search for kernel drivers, but I wasn’t able to find the kernel driver I was looking for (nct7802) this way. I had to use a different search command
sudo swupd search-file nct7802.ko
to find it.