Index: kernel/genarch/src/drivers/i8042/i8042.c
===================================================================
--- kernel/genarch/src/drivers/i8042/i8042.c	(revision a000878c0dee83a08f032207ffd800c201fca95b)
+++ kernel/genarch/src/drivers/i8042/i8042.c	(revision aadf01ebd2c032bc8dd43a6e06ae5715e6c2710f)
@@ -67,7 +67,6 @@
 	i8042_instance_t *instance = irq->instance;
 	i8042_t *dev = instance->i8042;
-	uint8_t status;
 	
-	if (((status = pio_read_8(&dev->status)) & i8042_BUFFER_FULL_MASK)) {
+	if (pio_read_8(&dev->status) & i8042_BUFFER_FULL_MASK) {
 		uint8_t data = pio_read_8(&dev->data);
 		indev_push_character(instance->kbrdin, data);