[coreboot-gerrit] Patch set updated for coreboot: 3e7bc72 i945: Consolidate MADT handling