[coreboot-gerrit] Patch merged into coreboot/master: c875e2a vboot module: fix compilation issues