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