diff --git a/src/device/keyboard_at.c b/src/device/keyboard_at.c
index bdd7b61c7..194339c72 100644
--- a/src/device/keyboard_at.c
+++ b/src/device/keyboard_at.c
@@ -2934,6 +2934,9 @@ kbd_init(const device_t *info)
     dev->flags = info->local;
     dev->pci = !!(info->flags & DEVICE_PCI);
 
+    /* We need this, sadly. */
+    SavedKbd = dev;
+
     video_reset(gfxcard[0]);
     kbd_reset(dev);
 
@@ -2983,9 +2986,6 @@ kbd_init(const device_t *info)
             break;
     }
 
-    /* We need this, sadly. */
-    SavedKbd = dev;
-
     return (dev);
 }