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