Re: [coreboot] patch: s1850