[coreboot-gerrit] Patch set updated for coreboot: 617c25e vtxprintf: Introduce vtxdprintf for the ease of closures