[coreboot-gerrit] Patch set updated for coreboot: f8b7d8f i945: Consolidate FADT code