adding 42ee08de8bec6b6e55c1ced77803d88bb2ecd1d5 built for xen