[coreboot-gerrit] Patch merged into coreboot/master: 54553d9 vboot: pass correct coreboot include paths