qemu/hw/ipmi/Kconfig