Re: [coreboot] coreboot build of seabios payload broken