diff --git a/src/kernel/boot/platform/openfirmware/debug.c b/src/kernel/boot/platform/openfirmware/debug.c
index c861d155fc..37d43e1e78 100644
--- a/src/kernel/boot/platform/openfirmware/debug.c
+++ b/src/kernel/boot/platform/openfirmware/debug.c
@@ -29,3 +29,14 @@ panic(const char *format, ...)
 	of_exit();
 }
 
+
+void
+dprintf(const char *format, ...)
+{
+	va_list list;
+
+	va_start(list, format);
+	vprintf(format, list);
+	va_end(list);
+}
+