I still don't know whether my problem is best covered by this project, but I have found that adding acpi_osi="Linux" to the boot options in GRUB fixes it. The fan now cycles on and off to keep the temperature between 35 and 50°C.
I still don't know whether my problem is best covered by this project, but I have found that adding acpi_osi="Linux" to the boot options in GRUB fixes it. The fan now cycles on and off to keep the temperature between 35 and 50°C.