Re: [coreboot] r4233/4234 broke h8dme (serial corruption + hang)