Add support for Linux kernels with pv_ops running on Xen.