[coreboot-gerrit] Patch set updated for coreboot: f9351cb bd82x6x: Move to common fadt