coreboot-kgpe-d16/tests/commonlib/bsd/Makefile.inc