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