[coreboot-gerrit] Patch merged into coreboot/master: b46f589 board-info: Output errors to stdout like make lint-stable expects