Would it be possible to have the correct EXTRAVERSION value (-xen0 and
-xenU) in the Makefiles for the different kernels that are built by
Xen? Makefiles for drivers that are not in the kernel tree often try
to grok 'linux-src/Makefile' to learn what version of kernel was
I personally hit the problem when trying to compile the Cisco iSCSI
driver for Xen.