[coreboot-gerrit] New patch to review for coreboot: e126b46 x86: Drop BOARD_HAS_FADT