[coreboot-gerrit] Patch set updated for coreboot: a32d42e fsp_baytrail: Fix CONFIG_ENABLE_FSP_FAST_BOOT