It looks like you're running 32-bit, so this may help.
commit c55d016f7a930dd1c995336017123b469a8c8f5a
Author: Borislav Petkov <[email protected]>
Date: Fri Feb 14 08:24:24 2014 +0100
x86/efi: Fix 32-bit fallout
I put up a test build with this patch at
http://people.canonical.com/~sforshee/lp1301590/linux-3.13.0-23.45/.
Please test and let me know if it fixes the issue. Thanks!
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1301590
Title:
System does not boot
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1301590/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
