xemu/hw/core/Kconfig