Index: kernel/kernel.config
===================================================================
--- kernel/kernel.config	(revision bb54db8adf4487558f5ccf7da52b4bf5f49cd8da)
+++ kernel/kernel.config	(revision dbe8a8f4a1345eeb04444a230c3ce4e1885beeab)
@@ -66,32 +66,32 @@
 
 # Framebuffer width
-@ "640"
-@ "800"
-@ "1024"
-@ "1152"
-@ "1280"
-@ "1400"
-@ "1440"
-@ "1600"
-@ "2048"
+@ "640" 640
+@ "800" 800
+@ "1024" 1024
+@ "1152" 1152
+@ "1280" 1280
+@ "1400" 1400
+@ "1440" 1440
+@ "1600" 1600
+@ "2048" 2048
 ! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_WIDTH (choice)
 
 # Framebuffer height
-@ "480"
-@ "600"
-@ "768"
-@ "852"
-@ "900"
-@ "960"
-@ "1024"
-@ "1050"
-@ "1200"
-@ "1536"
+@ "480" 480
+@ "600" 600
+@ "768" 768
+@ "852" 852
+@ "900" 900
+@ "960" 960
+@ "1024" 1024
+@ "1050" 1050
+@ "1200" 1200
+@ "1536" 1536
 ! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_HEIGHT (choice)
 
 # Framebuffer depth
-@ "8"
-@ "16"
-@ "24"
+@ "8" 8
+@ "16" 16
+@ "24" 24
 ! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_BPP (choice)