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