These are the distro xen-kernels produced by mkimage for these objects:

x86_64-xen
i386-xen_pvh
i386-xen