/* Globals */
void (*PE_kputc)(char c);
-#if DEBUG
+#if DEVELOPMENT || DEBUG
/* DEBUG kernel starts with true serial, but
* may later disable or switch to video
* console */
* take any locks, just dump to serial */
if (!PE_kputc || early) {
va_start(listp, fmt);
- _doprnt(fmt, &listp, pal_serial_putc, 16);
+ _doprnt_log(fmt, &listp, pal_serial_putc, 16);
va_end(listp);
return;
}