Re: [coreboot] sudo update-grub doesn't change entries in menu.lst (grub 1.95)