[coreboot-gerrit] Patch set updated for coreboot: 7f9cbc6 H8SCM: Add a type cast for printk to correct a warning message