[coreboot-gerrit] Patch set updated for coreboot: f5696f0 rk3288: support tsadc