[coreboot-gerrit] New patch to review for coreboot: db80d46 kconfig: use va_end to match corresponding va_start