grub submenu bug still not fixed, I shouldn't have removed this :-/