Index: uspace/srv/console/console.c
===================================================================
--- uspace/srv/console/console.c	(revision 1035437cfaf64cf0a0d58b00fba5af28339c7e42)
+++ uspace/srv/console/console.c	(revision 4a68194df2c9adee6f05acf34c5c51ef658f99d2)
@@ -712,9 +712,11 @@
 static bool console_init(void)
 {
+	async_serialize_start();
+	
 	/* Connect to keyboard driver */
-	
 	kbd_phone = ipc_connect_me_to_blocking(PHONE_NS, SERVICE_KEYBOARD, 0, 0);
 	if (kbd_phone < 0) {
 		printf(NAME ": Failed to connect to keyboard service\n");
+		async_serialize_end();
 		return false;
 	}
@@ -723,4 +725,5 @@
 	if (ipc_connect_to_me(kbd_phone, SERVICE_CONSOLE, 0, 0, &phonehash) != 0) {
 		printf(NAME ": Failed to create callback from keyboard service\n");
+		async_serialize_end();
 		return false;
 	}
@@ -733,4 +736,5 @@
 	if (fb_info.phone < 0) {
 		printf(NAME ": Failed to connect to video service\n");
+		async_serialize_end();
 		return -1;
 	}
@@ -740,4 +744,5 @@
 	if (rc < 0) {
 		printf(NAME ": Unable to register driver (%d)\n", rc);
+		async_serialize_end();
 		return false;
 	}
@@ -775,4 +780,5 @@
 			    fb_info.cols, fb_info.rows) == NULL) {
 				printf(NAME ": Unable to allocate screen buffer %u\n", i);
+				async_serialize_end();
 				return false;
 			}
@@ -788,4 +794,5 @@
 				devmap_hangup_phone(DEVMAP_DRIVER);
 				printf(NAME ": Unable to register device %s\n", vc);
+				async_serialize_end();
 				return false;
 			}
@@ -809,4 +816,5 @@
 	async_set_interrupt_received(interrupt_received);
 	
+	async_serialize_end();
 	return true;
 }