Found the problem: somehow grub2 was uninstalled and old grub was installed. I can't say for sure when that happened. I don't recall doing it, neither having any reason to do it. :-(
Found the problem: somehow grub2 was uninstalled and old grub was installed. I can't say for sure when that happened. I don't recall doing it, neither having any reason to do it. :-(