kernelconfig_penguin
default or selected kernelversion does not have config value CONFIG_ARM_EXYNOS_CPU_FREQ_BOOST_SW.
Result is shown for kernelversion 4.2.8
selects
CONFIG_CPU_FREQ_BOOST_SW
CONFIG_EXYNOS_THERMAL


EXYNOS Frequency Overclocking - Software

configname: CONFIG_ARM_EXYNOS_CPU_FREQ_BOOST_SW

Linux Kernel Configuration
└─> EXYNOS Frequency Overclocking - Software

This driver supports software managed overclocking (BOOST).
It allows usage of special frequencies for Samsung Exynos
processors if thermal conditions are appropriate.

It requires, for safe operation, thermal framework with properly
defined trip points.

If in doubt, say N.