diff --git a/src/Kconfig b/src/Kconfig
index 2ab9861baf..8b2369a0ba 100644
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -550,12 +550,6 @@ config USE_WATCHDOG_ON_BOOT
 	bool
 	default n
 
-config VGA
-	bool
-	default n
-	help
-	  Build board-specific VGA code.
-
 config GFXUMA
 	bool
 	default n
diff --git a/src/drivers/pc80/vga/Kconfig b/src/drivers/pc80/vga/Kconfig
new file mode 100644
index 0000000000..7da71afcfb
--- /dev/null
+++ b/src/drivers/pc80/vga/Kconfig
@@ -0,0 +1,4 @@
+config VGA
+	bool
+	help
+	  Include legacy VGA support code.
diff --git a/src/include/pc80/vga.h b/src/include/pc80/vga.h
index b1b9c30aac..c8d1c9bccd 100644
--- a/src/include/pc80/vga.h
+++ b/src/include/pc80/vga.h
@@ -22,8 +22,6 @@
 #define VGA_COLUMNS 80
 #define VGA_LINES 25
 
-#if CONFIG_VGA
-
 void vga_io_init(void);
 
 void vga_textmode_init(void);
@@ -36,6 +34,4 @@ void vga_frame_set(unsigned int line, unsigned int character);
 
 void vga_line_write(unsigned int line, const char *string);
 
-#endif /* CONFIG_VGA */
-
 #endif /* VGA_H */