this was causing:
make[2]: *** No rule to make target `drivers/xen/cpu_hotplug.o', needed by `drivers/xen/built-in.o'. Stop.
make[1]: *** [drivers/xen] Error 2
make[1]: *** Waiting for unfinished jobs....
then i discovered the missing file in a patch you re-sent and which
wasnt in the original series. Please point out the reason for resends.
Ingo
--