Re: [coreboot] sgabios no console output from Seabios (was: coreboot Digest, Vol 113, Issue 17)