vgabios: Some little geode cleanup.

[seabios.git] / src / Kconfig

diff --git a/src/Kconfig b/src/Kconfig
index 100ab928195939892f926ac01b49d06f2d137422..8fb9a6627050b2457274bca3a2e0c936bf4a34ff 100644 (file)
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -335,13 +335,13 @@ menu "VGA ROM"
         bool "Bochs DISPI interface VGA BIOS"
         default n
         help
-            Build support for Bochs DISPI interface
+            Build support for Bochs DISPI interface.
 
     config VGA_GEODELX
         bool "GeodeLX interface VGA BIOS"
         default n
         help
-            Build support for Geode LX vga
+            Build support for Geode LX vga.
 
     config VGA_PCI
         bool "PCI ROM Headers"