[coreboot-gerrit] New patch to review for coreboot: 1731c22 vboot: fix vboot_reference compilation