add PAE changes back in. The boot failure I observed was due to a build