File kbdsettings-nox86.patch of Package kbd.10239

--- kbdsettings
+++ kbdsettings
@@ -24,20 +24,6 @@
 			fi
 			/usr/bin/setleds -D -$param < /dev/$tty
 			;;
-		bios)
-			bios=$(/usr/lib/kbd/numlockbios 2>/dev/null)
-			if [ $param = "num" ]; then
-				if [ "$bios" = "on" ]; then
-					touch /run/numlock-on
-					/usr/bin/setleds -D +$param < /dev/$tty
-				elif [ "$bios" = "off" -o "$bios" = "unknown" ]; then
-					rm -f /run/numlock-on
-					/usr/bin/setleds -D -$param < /dev/$tty
-				fi
-			else
-				echo "Value ${!conf} invalid for $conf"
-			fi
-			;;
 		*)
 			echo "error: unknown value ${!conf} in $conf"
 			;;
--- sysconfig.keyboard
+++ sysconfig.keyboard
@@ -15,12 +15,12 @@
 # Keyboard repeat rate (2.0 - 30.0)
 KBD_RATE=""
 
-## Type:        list(bios,yes,no)
-## Default:     bios
+## Type:        yesno
+## Default:     no
 #
-# NumLock on? ("yes" or "no" or "bios" for BIOS setting)
+# NumLock on? ("yes" or "no")
 # This setting may interfere with GNOME /org/gnome/settings-daemon/peripherals/keyboard/remember-numlock-state DConf key.
-KBD_NUMLOCK="bios"
+KBD_NUMLOCK="no"
 
 ## Type:        yesno
 ## Default:     no