[coreboot-gerrit] Patch merged into coreboot/master: cbc783f Persimmon: Change MPTable to use mainboard IRQ routing