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