PCI TRC hard resets now also reset the AT keyboard controller.

src/keyboard_at.c

@@ -8,7 +8,7 @@
  *
  *		Intel 8042 (AT keyboard controller) emulation.
  *
- * Version:	@(#)keyboard_at.c	1.0.43	2019/03/05
+ * Version:	@(#)keyboard_at.c	1.0.44	2019/10/30
  *
  * Authors:	Sarah Walker, <http://pcem-emulator.co.uk/>
  *		Miran Grca, <mgrca8@gmail.com>
@@ -2298,6 +2298,15 @@ kbd_reset(void *priv)
 }
 
 
+/* Reset the AT keyboard - this is needed for the PCI TRC and is done
+   until a better solution is found. */
+void
+keyboard_at_reset(void)
+{
+    kbd_reset(SavedKbd);
+}
+
+
 static void
 kbd_close(void *priv)
 {