Comment 9 for bug 403408

Another approach but not full resolution:

I have been able to manually load the speciifc kernel following these steps:

Boot to a Specific Kernel Manually (https://help.ubuntu.com/community/Grub2)

However, when I re-start, I have to do the same thing again.