Comment 10 for bug 132726

Looking at debian/binary-custom.d/xen/patch.001 there is a lot of work to be done to support X86_64 Xen against the gusty kernel. The entire patch being applied only applies to "arch/i386" and nothing even touches the "arch/x86_64" tree.

This needs to be upgraded in severity.