[coreboot-gerrit] Patch set updated for coreboot: 9cf8910 x86: Drop BOARD_HAS_FADT