Comment 3 for bug 791212

Only Hardy builds a Xen kernel for dom0. There is also the xen-3.1 package that contains a kernel sources that would be affected but it is not clear whether those actually get packaged.