[coreboot-gerrit] New patch to review for coreboot: src/: Fix Kcofig symbols missing CONFIG_ prefix