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