[Fedora-xen] FW: [Xen-ia64-devel] Add ptc.l emulation for 2.6.17 xenlinux to fixfederon-xen-ia64 boot