[coreboot-gerrit] Patch set updated for coreboot: fbfc243 supermicro/h8scm: Add a type cast for printk to correct a warning message