[coreboot-gerrit] Patch set updated for coreboot: Makefile: use KCONFIG_AUTOHEADER instead of file name