[coreboot-gerrit] Patch merged into coreboot/master: b9e6e1a exynos5: move power_enable_hw_thermal_trip() prototype