New comment by ahesford on void-packages repository

https://github.com/void-linux/void-packages/issues/34049#issuecomment-978123286

Comment:
```sh
cat <<EOF >> /etc/rc.local
echo schedutil > /sys/devices/system/cpu/cpufreq/policy0/scaling_governor
EOF
```
Problem solved. The RPi kernels are not mainline, they come from the Raspberry Pi foundation. We don't change the scheduler from the dfeault there.