Re: [coreboot] Coreboot make script do not use custom, seabiosconfig file.