Intel Skylake/Kaby Lake processors: broken hyper-threadinglists.debian.org1108 pointsvbernat9 years ago