diff --git a/kernel/x86-family/ps2.cpp b/kernel/x86-family/ps2.cpp
index 65b4d758..56bfb730 100644
--- a/kernel/x86-family/ps2.cpp
+++ b/kernel/x86-family/ps2.cpp
@@ -78,9 +78,7 @@ static const uint8_t DEVICE_CMD_RESET = 0xFF;
 
 static const size_t DEVICE_RETRIES = 5;
 
-// TODO: This is entirely a guess. I don't actually know what timeout is
-//       suitable. GRUB seems to use 20 ms. I'll pick 50 ms to be safe.
-static const unsigned int TIMEOUT_MS = 50;
+static const unsigned int TIMEOUT_MS = 20;
 
 static bool WaitInput()
 {