adding 45fe19232e59f5614b270d7b0fd4abc34f2142ce for xen
adding c17776b4fe28af576a6b25af7e3a7aa28d8ad1d6 for xen
adding a1ecff59723fb89ffa65bca71a241c4d74b97589 for xen
adding 9f1ed8a52a2d7306a86f37b6c0ab5e3db28d55fc for xen