The PS/2 Model 80 memory expansion board initialization now correctly sets up the RAM mappings;

The per-device log functions now all call pclog().

src/keyboard_at.c

@@ -458,12 +458,12 @@ static void
 kbdlog(const char *fmt, ...)
 {
 #ifdef ENABLE_KEYBOARD_AT_LOG
+    va_list ap;
+
     if (keyboard_at_do_log) {
-	va_list ap;
 	va_start(ap, fmt);
-	vfprintf(stdlog, fmt, ap);
+	pclog(fmt, ap);
 	va_end(ap);
-	fflush(stdlog);
     }
 #endif
 }