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