The Commodore 386SX-16 now correctly has a PS/2 keyboard controller.

src/machine/m_at_286_386sx.c

@@ -628,7 +628,7 @@ machine_at_cmdsl386sx16_init(const machine_t *model)
 
     machine_at_common_ide_init(model);
 
-    device_add(&keyboard_at_device);
+    device_add(&keyboard_ps2_device);
 
     if (fdc_current[0] == FDC_INTERNAL)
         device_add(&fdc_at_device);