[Bug 1163117] New: kernel-pae not installed/suggested on a PAE capable CPU