Xen SMP bug + workaround

[Rik van Riel]

Hi,

today's Xen RPM is broken, in that it doesn't boot on SMP
systems and/or systems with HT CPUs.  The obvious workaround
is to boot xen with 'nosmp'.

I'll try to get the bug sorted out with the upstream Xen
maintainers.

-- 
"Debugging is twice as hard as writing the code in the first place.
Therefore, if you write the code as cleverly as possible, you are,
by definition, not smart enough to debug it." - Brian W. Kernighan