Re: [coreboot] SeaBIOS, serial output, grub, sgabios does not seem to load