Comment 54 for bug 1768976

And another observation. After booting the old kernel several times.. the 4.15 kernel starts without problems also, currently it works without the heat and performance problems. I did not change anything. I have no idea what happened there. Weird.