You shouldn't have needed to replace the kernel, the workaround I posted works with the normal kernels from 14.04. But anyway it doesn't do any harm, and you don't need to worry about 'locking' the kernel - apt-get won't replace your kernel 3.17 package with any of the ones from 14.04 because they'll all be of a lower version - 3.13.XX whereas your kernel package will be 3.17.XX.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1308264 Title: Ubuntu 14.04 Beta 2 stuck at "Switched to clocksource tsc" when booting up, then resumes booting to the login screen, after 1 minute To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1308264/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs