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