Index: kernel/arch/sparc64/src/console.c
===================================================================
--- kernel/arch/sparc64/src/console.c	(revision 287920fbf506e950a6b1035b8520eeaf673338bf)
+++ kernel/arch/sparc64/src/console.c	(revision ec2c55a4c241975f1e193ce31dbbbe525c29fdf1)
@@ -43,6 +43,6 @@
 #include <genarch/kbd/z8530.h>
 #endif
-#ifdef CONFIG_16550A
-#include <genarch/kbd/16550a.h>
+#ifdef CONFIG_NS16550
+#include <genarch/kbd/ns16550.h>
 #endif
 
@@ -65,4 +65,9 @@
 		bootinfo.screen.bpp, bootinfo.screen.scanline, true);
 
+#ifdef KBD_ADDR_OVRD
+	if (!bootinfo.keyboard.addr)
+		bootinfo.keyboard.addr = KBD_ADDR_OVRD;
+#endif
+
 	if (bootinfo.keyboard.addr)
 		kbd_init();
@@ -82,6 +87,6 @@
 		z8530_poll();
 #endif
-#ifdef CONFIG_16550A
-		16550a_poll();
+#ifdef CONFIG_NS16550
+		ns16550_poll();
 #endif
 		thread_usleep(KEYBOARD_POLL_PAUSE);
Index: kernel/arch/sparc64/src/drivers/kbd.c
===================================================================
--- kernel/arch/sparc64/src/drivers/kbd.c	(revision 287920fbf506e950a6b1035b8520eeaf673338bf)
+++ kernel/arch/sparc64/src/drivers/kbd.c	(revision ec2c55a4c241975f1e193ce31dbbbe525c29fdf1)
@@ -37,6 +37,6 @@
 #include <genarch/kbd/z8530.h>
 #endif
-#ifdef CONFIG_16650A
-#include <genarch/kbd/16650a.h>
+#ifdef CONFIG_NS16550
+#include <genarch/kbd/ns16550.h>
 #endif
 
@@ -70,6 +70,6 @@
 	z8530_init();
 #endif
-#ifdef CONFIG_16650A
-	16650A_init();
+#ifdef CONFIG_NS16550
+	ns16550_init();
 #endif
 }