[coreboot-gerrit] Patch merged into coreboot/master: f9ba7bb supermicro/h8scm: Add a type cast for printk to correct a warning message