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