Index: kernel/arch/sparc64/src/drivers/kbd.c
===================================================================
--- kernel/arch/sparc64/src/drivers/kbd.c	(revision 38b0ae2913b97fd6187fb83fbd73a39c7517ae23)
+++ kernel/arch/sparc64/src/drivers/kbd.c	(revision f1380b76772fb5d1aa03637b5e57bd9b929fea61)
@@ -62,8 +62,8 @@
 {
 	const char *name = ofw_tree_node_name(node);
-	
+
 	if (str_cmp(name, "su") != 0)
 		return false;
-	
+
 	/*
 	 * Read 'interrupts' property.
@@ -75,7 +75,7 @@
 		return false;
 	}
-	
+
 	uint32_t interrupts = *((uint32_t *) prop->value);
-	
+
 	/*
 	 * Read 'reg' property.
@@ -87,7 +87,7 @@
 		return false;
 	}
-	
+
 	size_t size = ((ofw_ebus_reg_t *) prop->value)->size;
-	
+
 	uintptr_t pa = 0; // Prevent -Werror=maybe-uninitialized
 	if (!ofw_ebus_apply_ranges(node->parent,
@@ -97,5 +97,5 @@
 		return false;
 	}
-	
+
 	inr_t inr;
 	cir_t cir;
@@ -108,5 +108,5 @@
 		return false;
 	}
-	
+
 	/*
 	 * We need to pass aligned address to hw_map().
@@ -117,8 +117,8 @@
 	uintptr_t aligned_addr = ALIGN_DOWN(pa, PAGE_SIZE);
 	size_t offset = pa - aligned_addr;
-	
+
 	ioport8_t *ns16550 = (ioport8_t *) (km_map(aligned_addr, offset + size,
 	    PAGE_WRITE | PAGE_NOT_CACHEABLE) + offset);
-	
+
 	ns16550_instance_t *ns16550_instance = ns16550_init(ns16550, 0, inr, cir,
 	    cir_arg, NULL);
@@ -131,5 +131,5 @@
 		}
 	}
-	
+
 	/*
 	 * This is the necessary evil until the userspace drivers are
@@ -140,5 +140,5 @@
 	sysinfo_set_item_val("kbd.address.physical", NULL, pa);
 	sysinfo_set_item_val("kbd.type.ns16550", NULL, true);
-	
+
 	return true;
 }