Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision c640876a2871d801c859155f90c27f4d2ff40c11)
+++ HelenOS.config	(revision afdd4413e3f7b3d09d304f72105a62d40faad30c)
@@ -334,20 +334,10 @@
 @ "generic" Keyboard or serial line
 @ "none" No input device
-! [PLATFORM=ia32|PLATFORM=amd64|(PLATFORM=mips32&MACHINE!=msim)] CONFIG_HID_IN (choice)
-
-% Input device class
-@ "serial" Serial line
-@ "none" No input device
-! [MACHINE=ski|MACHINE=serengeti|MACHINE=msim] CONFIG_HID_IN (choice)
-
-% Output device class
-@ "serial" Serial line
-@ "none" No output device
-! [MACHINE=ski|MACHINE=serengeti|MACHINE=msim] CONFIG_HID_OUT (choice)
+! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=mips32] CONFIG_HID_IN (choice)
 
 % Output device class
 @ "generic" Monitor or serial line
 @ "none" No output device
-! [PLATFORM=ia32|PLATFORM=amd64] CONFIG_HID_OUT (choice)
+! [PLATFORM=ia32|PLATFORM=amd64|(PLATFORM=mips32&MACHINE=msim)] CONFIG_HID_OUT (choice)
 
 % Output device class