[Bug 619283] no update of grub menu.lst