xqemu/hw/tricore/Kconfig