I would suggest either patching kernel config to use ondemand by default (powersave is the default and not the best choice), adding cpufrequtils package by default or adding this to /etc/rc.local:

echo ondemand >/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor

With the settings you use now the CPU cores are limited to 600 MHz. While I use a custom Armbian build on RPi 3 now where this isn't a problem the users of your distro should be able to benefit from twice the performance too.

With the above changes the stupid sysbench pseudo benchmark finishes in 3 seconds compared to 48 seconds as usual. With powersave it's 6.2 seconds. Just try it out yourself:

sysbench --test=cpu --cpu-max-prime=10000 run --num-threads=$(grep -c '^processor' /proc/cpuinfo)

Maybe it's also worth executing dpkg --add-architecture armhf and adding the following to /etc/apt/sources.list.d/raspbian.list:

deb [arch=armhf] https://archive.raspbian.org/raspbian stretch main contrib non-free
deb-src [arch=armhf] https://archive.raspbian.org/raspbian stretch main contrib non-free

(requires adding apt-transport-https though). Me still searching for the right packages containing vcgencmd command to talk to the mythical firmware having control over the ARM cores.