Index: kernel/genarch/src/kbd/ns16550.c
===================================================================
--- kernel/genarch/src/kbd/ns16550.c	(revision 7bb6b065122bb8af8404a0355703e35ee8e56a37)
+++ kernel/genarch/src/kbd/ns16550.c	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -105,5 +105,6 @@
 
 /** Wait until the controller reads its data. */
-void ns16550_wait(void) {
+void ns16550_wait(void)
+{
 }