diff --git a/src/dev/arm/kmi.cc b/src/dev/arm/kmi.cc
index 92b5ee8cb..c90e00125 100644
--- a/src/dev/arm/kmi.cc
+++ b/src/dev/arm/kmi.cc
@@ -212,6 +212,7 @@ Pl050::processCommand(uint8_t byte)
         // fall through
       case Disable:
       case Enable:
+      case SetDefaults:
         rxQueue.push_back(Ack);
         break;
       case StatusRequest:
diff --git a/src/dev/ps2.hh b/src/dev/ps2.hh
index 73f3f9cd8..f1ddb522e 100644
--- a/src/dev/ps2.hh
+++ b/src/dev/ps2.hh
@@ -62,7 +62,8 @@ enum {
     Ack             = 0xfa,
     SetRate         = 0xf3,
     Enable          = 0xf4,
-    Disable         = 0xf6,
+    Disable         = 0xf5,
+    SetDefaults     = 0xf6,
     KeyboardId      = 0xab,
     TouchKitId      = 0x0a,
     MouseId         = 0x00,