[coreboot-gerrit] New patch to review for coreboot: abuild: Add option of starting with an existing Kconfig file