[kbuild-all] Re: [PATCH] irqchip/xilinx: Expose Kconfig option