Index: libcfa/src/concurrency/io/setup.cfa
===================================================================
--- libcfa/src/concurrency/io/setup.cfa	(revision eccb14d7241424d1aae22fb905858900c58eaa4e)
+++ libcfa/src/concurrency/io/setup.cfa	(revision 58d64a4bada7a16e278bcedc78907e029a2b9ddf)
@@ -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" );