Just to double check, because I'm on a machine that I rely on for work: I can grab the packages here: http://kernel.ubuntu.com/~kernel- ppa/mainline/v3.12-rc2-saucy/
And after installing them with dpkg, I can always choose to boot on the regular 3.8.0 kernel, correct? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1230359 Title: ThinkPad S431 boots up after shutdown, twice To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1230359/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs