[coreboot-gerrit] Patch set updated for coreboot: 08b3754 vboot: allow options to be selected from .config