[coreboot-gerrit] Patch set updated for coreboot: b1072b3 baytrail: fix up FADT