[coreboot-gerrit] Patch set updated for coreboot: 20c2bf5 vboot: add and rejuggle Kconfig options