Intel Skylake/Kaby Lake processors: broken hyper-threading

Skylake and Kaby Lake are too new to appear in any but very expensive server-class processors until very recently (the last few months). v4 and even v3 (Broadwell and older) are still on sale in fairly expensive servers. Server users are fairly conservative, often because of, well, bugs like this...