[coreboot-gerrit] Patch set updated for coreboot: af4b97f mainboard/lippert: Forward port MPTable use mainboard IRQ routing