diff --git a/src/kernel/boot/loader/stdio.cpp b/src/kernel/boot/loader/stdio.cpp
index 9520d4b5d9..0ee69da6d0 100644
--- a/src/kernel/boot/loader/stdio.cpp
+++ b/src/kernel/boot/loader/stdio.cpp
@@ -57,6 +57,13 @@ vfprintf(FILE *file, const char *format, va_list list)
 }
 
 
+int
+vprintf(const char *format, va_list args)
+{
+	return vfprintf(stdout, format, args);
+}
+
+
 int
 printf(const char *format, ...)
 {