Re: [coreboot] Coreboot Seabios's Makefile.inc build issue.