coreboot-kgpe-d16/tests/lib/Makefile.inc