[coreboot-gerrit] Patch set updated for coreboot: 8b1b16e i945: Consolidate MADT handling