Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision c822026c1caa1849e2dc6fdf00e865eb4b1ff15c)
+++ HelenOS.config	(revision 4ee4046e33acd575f0fc5f064a7d5d665238ef63)
@@ -386,5 +386,5 @@
 
 % Support for Z8530 controller
-! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboardl)&PLATFORM=sparc64&MACHINE=generic] CONFIG_Z8530 (y/n)
+! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic] CONFIG_Z8530 (y/n)
 
 % Support for Serengeti console
@@ -398,5 +398,5 @@
 
 % Sun keyboard support
-! [PLATFORM=sparc64&(CONFIG_NS16550=y|CONFIG_Z8530=y)] CONFIG_SUN_KBD (y)
+! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic&(CONFIG_NS16550=y|CONFIG_Z8530=y)] CONFIG_SUN_KBD (y)
 
 % Dummy serial line input