Although this problem is not kernel related I leave the solution here for completeness: For some reason a manual update of GRUB was needed, so ... update-grub grub-install ... ... solved the problem.