adding 51876e570952f9b824cba184bca3679df5da7b03 for xen