I just installed the official Armbian desktop image on my Orange Pi RV2. When I check with top or cat /proc/cpuinfo, the CPU frequency is stuck at 1.0 GHz all the time. How can I make it actually reach the full 1.5 GHz? Do I need to change some config file or install extra drivers?