Well, my guess was wrong. I put releng/14.4 sources on my Pi5, and built the modules (just a simple "make"). Then I loaded the bcm2712.ko module.
As soon as I had loaded it, the fan started spinning. I also loaded the rp5.ko module (this is the sysctl part, from looking at the sources).
dmesg...