Re: [U-Boot] [PATCH] x86: make X86IRQ per Kconfig switchable