coreboot-kgpe-d16/payloads/libpayload/arch/mock/Makefile.inc