adding 80425281f03eaffd6c9944929a39fa08762eb39d built for xen