[coreboot] SeaBIOS debug output

[Kevin O'Connor]

Hi Myles,

On Wed, Jul 16, 2008 at 07:29:29PM -0600, Myles Watson wrote:
> > Finding the option roms is easy - they are located between 0xc0000 and
> > 0xe0000 and are 2KiB aligned.
> 
> That can be true after Coreboot copies them there.  Devices which have
> option ROMs on the card are located somewhere in the PCI address space until
> they are copied.  On-board devices have their option ROMs contained
> somewhere in the BIOS chip.

Right.  I'm a proponent of having coreboot be responsible for copying
the option roms to their locations in ram.  Once coreboot loads the
option roms then seabios can easily locate and run them.

-Kevin