Can I rebuild M. young's kernel-2.6.31.4-1.2.73.xendom0.fc12.src.rpm on fedora10 64bit host and run with current xen 3.4.1 ?