[coreboot-gerrit] Patch set updated for coreboot: 46716c3 [2/3] exynos5: modify thermal management unit code for coreboot