diff --git a/libkern/stdio.c b/libkern/stdio.c
index 8c4eee2a4..eca0f25b3 100644
--- a/libkern/stdio.c
+++ b/libkern/stdio.c
@@ -32,7 +32,9 @@
 #include <hermit/spinlock.h>
 #include <asm/atomic.h>
 #include <asm/processor.h>
+#ifdef CONFIG_VGA
 #include <asm/vga.h>
+#endif
 #include <asm/uart.h>
 
 static atomic_int32_t kmsg_counter = ATOMIC_INIT(-1);