Re: [coreboot] coreboot serial port crash