grub.cfg: add "Show bootflags" menuentry

grub/grub.cfg

@@ -10,6 +10,8 @@ fi
 set menu_color_normal=white/black
 set menu_color_highlight=black/light-gray
 
+set pager=1
+
 function set64 {
   set bits="64"
   set arch="x86_64"
@@ -145,6 +147,10 @@ menuentry "${lip_flavor} ${lip_version}${lip_extra_info} ${bits}bit (english, fn
         LoadCasper
 }
 
+menuentry "Show bootflags" {
+	cat "/bootflags.txt"
+}
+
 menuentry "${lip_flavor} ${lip_version}${lip_extra_info} ${bits}bit (deutsch, load casper from first disk)" {
         set cmdline="debian-installer/locale=de_DE console-setup/layoutcode=de live-media=/dev/sda1"
         LoadCasper