xemu/target/tricore/Kconfig