x86: Use the IRQ device when setting up the mptable