coreboot-kgpe-d16/payloads/external/FILO
..
Makefile.inc