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