[coreboot] Patch merged into coreboot/master: 79e36d9 Improve how our printk calls do_div by using constants.