Description of problem:
The kernel installed on a Vaio S1XP laptop does not boot, because the CPU has no
PAE support.  Perhaps anaconda should check whether the CPU has this support
before offering Xen as an option?  After I saw the message I vaguely remembered
a discussion of this on one of the mailing lists, but couldn't remember how it
was resolved.

Version-Release number of selected component (if applicable):


How reproducible:
Every time

Steps to Reproduce:
1. Boot laptop
2.
3.
  
Actual results:
Kernel panics with a message about not being able to boot a PAE kernel on a
non-PAE CPU.

Expected results:
Kernel boots

Additional info:

The CPU is a Pentium M 1.7GHz

I have filed the bug against kernel-xen for the moment, though as I indicated
earlier, either this problem should be alluded to in the release notes (which
were blank) or anaconda should refuse to install Xen on such hardware.