Missing rpm's in Lastest XEN Patch

[chas]

I have tried installing the latest XEn patch 20080211 for x86_64 installation. The install will fail because there are 3 missing rpm's from the download site. These are xen-kmp-bigsmp.rpm, xen-kmp-debug.rpm and xen-kmp-kdump.rpm.

Am I missing something?

Any help would be most welcome. I also notice that some of these modules are in the x86 download, but not all.

Regards,

ChasR.