I swear we added pae bits in at some point, but
they sure don't seem to be there right now...
All this could easily be rectified by adding a line similar to the
with/without debug for example and removing the hard-coded "with_pae"
options which currently exist on line 221 onwards in the kernel.spec