Re: [PATCH 02/17] Kconfig: Introduce CONFIG_XEN