[coreboot] New patch to review for coreboot: 1d4d604 Improve how our printk calls do_div by using constants.