[coreboot-gerrit] Patch merged into coreboot/master: bc073f4 x86: Drop BOARD_HAS_FADT