Device frequency scaling is implemented through devfreq in the kernel,
which requires CONFIG_PM_OPP.

Let's select it.
Signed-off-by: Maxime Ripard <maxime.ripard@free-electrons.com>