[coreboot-gerrit] Patch set updated for coreboot: 6bdf6f2 bd82x6x: Move to common FADT.