Für alle Interessierten zur Info.
Sieht leider so aus, als ob die Sky Lake und auch Kaby Lake Prozessoren einen Bug im Hyperthreading hätten.
Habt einfach ein Auge drauf und schaut ggf. nach verfügbaren Firmware-Updates.
Die Original Meldung
https://lists.debian.org/debian-devel/2017/06/msg00308.html
(leider englisch)
Hier was deutsches dazu:
http://www.chip.de/artikel/Fatale…_117637946.html
https://www.golem.de/news/skylake-u…706-128582.html