Hi, I'm using Orange Pi One board for Octoprint, but it's slow sometimes, because of max cpu frequency at 1 GHz.  Under full load cpu temp is not higher than 30 °C, so I would like to set higher frequency, but all images looks like their max cpu frequency is just 1 GHz. So, is there any image with higher max cpu frequency? Thanks