@Phillip Susi
The upgrade process to 14.04 has to take care of it. If something changed, upgrade process has to run dpkg-reconfigure grub-pc and set the devices. It worked before, does not work now -> upgrade process needs to take care of it.
@Phillip Susi
The upgrade process to 14.04 has to take care of it. If something changed, upgrade process has to run dpkg-reconfigure grub-pc and set the devices. It worked before, does not work now -> upgrade process needs to take care of it.