Index: kernel/genarch/src/kbd/i8042.c
===================================================================
--- kernel/genarch/src/kbd/i8042.c	(revision 38c64e89f6832cf6f53cb412ca15e0f1a52eef4a)
+++ kernel/genarch/src/kbd/i8042.c	(revision c43b1db2edde4d557f57179bffa715c2a6aac1ae)
@@ -51,8 +51,4 @@
 #include <sysinfo/sysinfo.h>
 
-i8042_instance_t lgcy_i8042_instance = {
-	.i8042 = (i8042_t *) I8042_BASE,
-};
-
 /* Keyboard commands. */
 #define KBD_ENABLE	0xf4
@@ -79,6 +75,6 @@
 
 #define i8042_BUFFER_FULL_MASK	0x01
-#define i8042_WAIT_MASK			0x02
-#define i8042_MOUSE_DATA		0x20
+#define i8042_WAIT_MASK		0x02
+#define i8042_MOUSE_DATA	0x20
 
 static void i8042_suspend(chardev_t *);