Xen support was already removed[1]. [1] 99bdd78d95 Change-Id: Ia2d29d1adfd6164dacc6663009ba896f77168343
99bdd78d95