Okay, new kernel is released! If you've been using my PPA for the fix in the meantime, just "sudo apt update && sudo apt upgrade" as usual, reboot, and you'll be on the officially fixed kernel. After that you can "sudo add-apt-repository --remove ppa:waveform/fan-fix" and your apt sources will be back to normal.
Okay, new kernel is released! If you've been using my PPA for the fix in the meantime, just "sudo apt update && sudo apt upgrade" as usual, reboot, and you'll be on the officially fixed kernel. After that you can "sudo add-apt-repository --remove ppa:waveform/ fan-fix" and your apt sources will be back to normal.