adding be69c17971bb4b3b423f24ab2ff8ed4026b82712 for xen