Xen: Use the ioreq-server API when available