[coreboot-gerrit] New patch to review for coreboot: 108eebc exynos5: move power_enable_hw_thermal_trip() prototype