[coreboot-gerrit] Patch set updated for coreboot: 7532fe1 fsp_baytrail: update printk to use FSP_INFO_LEVEL