Index: libcfa/src/concurrency/io/setup.cfa
===================================================================
--- libcfa/src/concurrency/io/setup.cfa	(revision eccb14d7241424d1aae22fb905858900c58eaa4e)
+++ libcfa/src/concurrency/io/setup.cfa	(revision 1526e86e2f30b04edcd9eb020cc0516ce3e4305a)
@@ -147,4 +147,5 @@
 	static void * iopoll_loop( __attribute__((unused)) void * args ) {
 		__processor_id_t id;
+		id.full_proc = false;
 		id.id = doregister(&id);
 		__cfaabi_dbg_print_safe( "Kernel : IO poller thread starting\n" );