Xen 4.2.xx 与 Fedora 17 的兼容性

Question

我知道 Fedora 17 附带 Xen 4.1.xx，但它与 Xen 4.2.xx 及更高版本兼容吗？我在网上搜索过，没有找到任何支持或否认这一事实的证据。如果兼容，那么为什么 yum 软件包更新实用程序不获取更新？

PS 我正在使用 Fedora 17 测试一些内核模块，因此不想升级内核版本。