coreboot-kgpe-d16/payloads/libpayload/tests/libc/Makefile.inc