Index: kernel/genarch/src/drivers/i8042/i8042.c
===================================================================
--- kernel/genarch/src/drivers/i8042/i8042.c	(revision eae4e8fa7dfec64f319138584d0480c91f7579ca)
+++ kernel/genarch/src/drivers/i8042/i8042.c	(revision a8a13d06144cd1b2fb793e67554e75be33860ac2)
@@ -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);