adding d26d49c891afa36154e271df58023d86d847fd17 for xen