[Bug 730731] Kernel 3.1 crash at start up if using PAE version.