[coreboot-gerrit] Patch merged into coreboot/master: 144c228 vboot: Include vb2_api.h, instead of lower-level vboot2 header files