adding e047b890a744ef7644ff247439a9fe457ed6b9d2 for xen