I tried again with the new kernel after installing dkms. not as "automatic" as it's supposed to be, and anyway I had another kernel crash. this time I looked at the logs after reboot, and it shows a GPF during handle_thermal_trip. guess I'm stuck with the old kernel.
last updated 2018-02-04 08:13:17. served from tektonic.jcomeau.com