Add support for xen-4.5