No source available for linux-image-2.6.24-xen?

[Chris Smowton]

Hello,

It seems that the kernel source yielded by an apt-get source 
linux-image.2.6.24-xen is not in fact a Xen kernel? Make oldconfig using 
the config which ships with that image complain of missing symbols 
XEN_BACKEND, XEN_PCI_FRONTEND and so on.

Is the source for that package actually available? If so, why does 
apt-get not deliver it?

I ask because the current Xorg VESA driver exposes a nasty bug (hangs 
during mprotect on a mapped PCI memory range) which I would like to 
attempt to debug, but which I cannot do without the sources available!

Chris