Re: [coreboot] SeaBIOS, serial output, and grub