Kconfig to XML converter