linux-stable/drivers/irqchip/Kconfig