Re: [PATCH v2 3/4] arch: Kconfig: enable IRQ using select for x86 architecture