[coreboot] tyan s2881 with seabios and gpxe

[Myles Watson]

> This is all the output I get on the serial port.  How can I get a full
> log?
If you set
CONFIG_DEFAULT_CONSOLE_LOGLEVEL = 9
CONFIG_MAXIMUM_CONSOLE_LOGLEVEL = 9

You may get some more useful information.

Thanks,
Myles