source src/drivers/generic/generic/Kconfig
source src/drivers/generic/ioapic/Kconfig