Thanks, good timing :-) of this article, been trying to understand why my new fancy Skylake CoreI5-6500 crashes with
&quot;Switched to clocksource tsc&quot; when booting Ubuntu 14.04 (Ubuntu 15.10 works fine, so not a big problem).