Re: [coreboot] Building with SeaBIOS and serial debugging