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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
