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-kernel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/5199cce0.3000...@nobswolf.info
