Re: [coreboot] Coreboot overwrites seabios .config at build time