[coreboot] Patch merged into coreboot/master: 8bb1751 Mirror Fix coreinfo usage of cb_info