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