[coreboot-gerrit] Patch set updated for coreboot: 4fe4e0f arch: clean up Kconfig and Makefile