Problem solved. blkid and vol_id gave the same uuids, but there were some old entries in blkid cache which I removed with "sudo blkid -g". Then I removed old menu.lst and forced update-grub to regenerate it - now there are correct uuids. update-grub normally didn't overwrite old menu.lst, I had to remove that file which all led to more confusion.
-- Different UUID between udev and fstab https://bugs.launchpad.net/bugs/110251 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
