[coreboot] Fwd: mptable and irq_tables.c for MSI P35 Neo (MS-7360)