Index: /trunk/src/VBox/Devices/Input/PS2K.cpp
===================================================================
--- /trunk/src/VBox/Devices/Input/PS2K.cpp	(revision 40363)
+++ /trunk/src/VBox/Devices/Input/PS2K.cpp	(revision 40364)
@@ -714,4 +714,6 @@
 int PS2KByteToKbd(PPS2K pThis, uint8_t cmd)
 {
+    bool    fHandled = true;
+
     LogFlowFunc(("new cmd=0x%02X, active cmd=0x%02X\n", cmd, pThis->u8CurrCmd));
 
@@ -809,6 +811,11 @@
             pThis->u8CurrCmd = 0;
             break;
+        default:
+            fHandled = false;
         }
-    /* Fall through! */
+        /* Fall through only to handle unrecognized commands. */
+        if (fHandled)
+            break;
+
     case KCMD_INVALID_1:
     case KCMD_INVALID_2: