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