Index: libcfa/src/concurrency/kernel.cfa
===================================================================
--- libcfa/src/concurrency/kernel.cfa	(revision 21184e35c95906b4f4b5d8d24b90d618f3381310)
+++ libcfa/src/concurrency/kernel.cfa	(revision 49d312845c1cb50f3312373298435bda74cd971a)
@@ -263,5 +263,5 @@
 	// Because of a bug, we couldn't initialized the seed on construction
 	// Do it here
-	kernelTLS.rand_seed ^= rdtsc();
+	kernelTLS.rand_seed ^= rdtscl();
 
 	processor * this = runner.proc;