qemu/hw/tricore/Kconfig