review.coreboot.org / coreboot / 4e9bb3308e811000eb089be6b03658e4cb9a4717 / util / ifdtool / Makefile.inc