Index: uspace/drv/char/i8042/main.c
===================================================================
--- uspace/drv/char/i8042/main.c	(revision 1cf26abf038d0db4ca5f4e0a43ca1b41d655b01e)
+++ uspace/drv/char/i8042/main.c	(revision 2a7ba5e8da1ecd6b4849c77df11909ecb5ffe28f)
@@ -43,5 +43,4 @@
 #include <ddf/log.h>
 #include <stdio.h>
-#include <async.h>
 #include "i8042.h"
 
@@ -152,10 +151,4 @@
 	ddf_log_init(NAME);
 	
-	/*
-	 * Alleviate the virtual memory / page table pressure caused by
-	 * interrupt storms when the default large stacks are used.
-	 */
-	async_set_notification_handler_stack_size(PAGE_SIZE);
-
 	return ddf_driver_main(&i8042_driver);
 }