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]
