[coreboot-gerrit] Change in coreboot[master]: tint: update the patch version numbers according to a new tint version