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