Problem solved, sort of... Yes, I found the solution. I've lost the reference, but in another forum found a comment that Xen 4.2 is...
I cleared away the source in ~root/rpmbuild, re-installed, and attempted the rpmbuild with the unpatched spec file. The result was the same -...
Separate names with a comma.