--- /usr/sbin/grub2-mkconfig.bkp	2013-02-19 19:31:16.810839275 +0100
+++ /usr/sbin/grub2-mkconfig	2013-02-19 18:31:31.465890499 +0100
@@ -216,7 +216,8 @@
   GRUB_INIT_TUNE \
   GRUB_SAVEDEFAULT \
   GRUB_ENABLE_CRYPTODISK \
-  GRUB_BADRAM
+  GRUB_BADRAM \
+  GRUB_DISABLE_SUBMENU
 
 if test "x${grub_cfg}" != "x"; then
   rm -f "${grub_cfg}.new"