2013-12-10, 02:28
I installed that kernel but can't boot into it since it is lower in the list than the 3.13-rc3 ubuntu mainlines. I am not at home and not able to switch before bootup and not sure how to select that kernel in the grub default file. I only have linux-image-3.13.0-031300rc3-generic and linux-image-3.13.0-994-generic installed at the moment.