Index: libcfa/src/concurrency/kernel.cfa
===================================================================
--- libcfa/src/concurrency/kernel.cfa	(revision 21184e35c95906b4f4b5d8d24b90d618f3381310)
+++ libcfa/src/concurrency/kernel.cfa	(revision 57c764c408e93bded4fc2db7b1603b9de7f4ab60)
@@ -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;