Comment 233 for bug 930447

For clarity the error referred to in this bug is emitted by the kernel from its 16bit entry point. The same check is not made when booted via its 32bit entry point. This is arguably a bug, the kernel should check and refuse to run when required features are not present. In this case the main issue is that some PAE capable CPUs do not correctly list this in their CPUID capability bits. The logical fix is to fake the PAE bit for those cpus, through a whitelist.