[coreboot] New patch to review for coreboot: 7c77c17 Move SeaBIOS output out of coreboot source tree