[coreboot-gerrit] Patch set updated for coreboot: 4aadc75 chromeos: add VBOOT_REFCODE_INDEX option