[coreboot] New patch to review for coreboot: c71730d src/device/root_device.c: Spew out when mainboard