[coreboot-gerrit] Patch merged into coreboot/master: a97bd5a rk3288: support tsadc