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. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
