diff --git a/sys/compat/linuxkpi/common/include/video/vga.h b/sys/compat/linuxkpi/common/include/video/vga.h
new file mode 100644
--- /dev/null
+++ b/sys/compat/linuxkpi/common/include/video/vga.h
@@ -0,0 +1,16 @@
+/* Public domain. */
+
+#ifndef _LINUXKPI_VIDEO_VGA_H
+#define _LINUXKPI_VIDEO_VGA_H
+
+#define VGA_MIS_W	0x3c2
+#define VGA_SEQ_I	0x3c4
+#define VGA_SEQ_D	0x3c5
+#define VGA_MIS_R	0x3cc
+
+#define VGA_SR01_SCREEN_OFF	(1 << 5)
+
+#define VGA_FB_PHYS_BASE	0xA0000
+#define VGA_FB_PHYS_SIZE	65536
+
+#endif
diff --git a/sys/compat/linuxkpi/dummy/include/video/vga.h b/sys/compat/linuxkpi/dummy/include/video/vga.h
deleted file mode 100644