xen: add kconfig menu