Index: kernel/arch/sparc64/src/console.c
===================================================================
--- kernel/arch/sparc64/src/console.c	(revision 253f35a1d714bef0e93e4a79768b7342ccc84123)
+++ kernel/arch/sparc64/src/console.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
@@ -54,4 +54,5 @@
 #include <arch/mm/tlb.h>
 #include <arch/boot/boot.h>
+#include <arch.h>
 
 #define KEYBOARD_POLL_PAUSE	50000	/* 50ms */
@@ -80,4 +81,6 @@
 void kkbdpoll(void *arg)
 {
+	thread_detach(THREAD);
+
 	if (!bootinfo.keyboard.addr)
 		return;
