Re: [PATCH v2 1/4] misc: make CONFIG_IRQ selectable for all platforms