[coreboot-gerrit] [S] Change in coreboot[master]: tint: update the tint build system to fix the download/patch errors