Fix some build errors on xen-4.1