[PATCH 0/3] Xen: Improve the naming mess