review.coreboot.org / coreboot / e9b3fd1d5da628c7207701ead053a318235c86b3 / util / kconfig / Makefile.inc