I would explore adding the offending module to boot.blacklistedKernelModules.
This will create a /etc/modprobe.d/nixos.conf with a line blacklist facetimehd, which will effectively prevent it from being loaded.
@pancho I’m not trying to blacklist it. I’m trying to update that module by overridding it with an update (which in this case, I just set it to null to save space while clarifying the intent, instead of providing an actual overrideAttrs invocation).
Maybe using linuxPackagesFor with the overriden derivation?
See the Linux Kernel entry on the Wiki for details, because the function does not appear if searched on search.nixos.org.