Re: [U-Boot] [PATCH v3 4/8] x86: Use the IRQ device when setting up the mptable