Comment # 15 on bug 1161832 from Jiri Slaby

(In reply to Jiri Slaby from comment #14)
> > - Why doesn't the OS installer suggest kernel-pae if the CPU supports PAE?
> > Is this another bug/issue to report?
> 
> It looks like that. Installer mostly install pae correctly. Maybe your model
> is not whitelisted. So open a bug against the installer to find out the
> reasons, please.

And I am wrong here: PAE allows for NX, but not all CPUs implement that. Yours
is one of them (according to lscpu). So maybe that's the reason why -pae was
not installed on your system (I'm not sure what's the logic in the installer).