[coreboot] Patch merged into coreboot/master: 6dccedd x86 intel: Add Firmware Interface Table support