[Bug 890702] pae kernel doesn't boot - appears to cause NMI when unpacking initramfs