[Fedora-xen] FC6 xen bugfixes planned?

Just ran into a bug with all the HVMs I have running under Xen with a 64 bit AMD host (FC6). Apparently the int3 debugger trap instruction gets the wrong PC reported in the VMs, so it is a pain in the patoot to do debugger development on Xen guests :-). (Search google for "hvm int3 amd" and you can find references to patches that are fairly recent - a lot more recent than the version of Xen provided with FC6). Any planned bugfixes in the pipe for Xen on FC6, or should I look at swapping in some completely different host?