Updating menu.lst solved the problem (and other bugs as well). Somehow it didn't got updated when I upgraded.
As a side note, "sudo update-grub" does not overwrite menu.lst. I had to delete it and then update-grub again to make it work. I don't know if that is what update-grub is supposed to do.
Updating menu.lst solved the problem (and other bugs as well). Somehow it didn't got updated when I upgraded.
As a side note, "sudo update-grub" does not overwrite menu.lst. I had to delete it and then update-grub again to make it work. I don't know if that is what update-grub is supposed to do.
Thanks