Comment 9 for bug 1301590

It looks like you're running 32-bit, so this may help.

commit c55d016f7a930dd1c995336017123b469a8c8f5a
Author: Borislav Petkov <email address hidden>
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!