xemu/hw/tricore/Kconfig