[PATCH 02/17] Kconfig: Introduce CONFIG_XEN