munocat

which problems did you have? I do ask, because I did setup today my NanoPi K1 Plus for setiathome with a fresh build dev-image:
 
Welcome to ARMBIAN 5.77 user-built Debian GNU/Linux 9 (stretch) 5.0.4-sunxi64 package bsp-kernel[5.77] u-boot[5.77] dtb[5.77] firmware[5.77] config[5.77] BOINC_Manager connected from PC to NanoPi K1 Plus:

I ordered it of amazon, so it will be easy to return. I will look into the Odriod C2. TY

I fear this is again not the best choice. I don't have a Le Potato. But I've heard there are some problems with it.
I've got the Odroid C2 which has got the same specs. I love it. Hardkernel is for me the best in software support for their boards.
I hope Le Potato will do you well.

Hi.. Le Potato is a great.. board.. but it's am Amlogic SoC, not AllWinner
 

The M4 is also a RockChip. But the company behind it, FriendlyElec is a lot better with support. And almost everything seems to work well. I use it daily, I use it for Blender rendering, for video editing, for gaming, programming, watching youtube... The Rock64 isn't good for those things. It's best to use as a NAS.
It was the first cheap one with USB3 + GigE. But Pine64 is just the worst company when it comes to software support.
So the Pine64 boards or best for Linux freaks who like to test and tinker a lot. I would not advice it for a normal user. I've just made a video about the Media Script on the Rock64, and how to overclock it to 1.5Ghz. Now rendering and in an hour it'll be online. I say it many times there are better boards for these things...

Good luck

Just after you have choosen rock64 board from the dialog, next dialog should show "default" or "dev" branch ...
 

sed -i "s/MAX_SPEED=.*/MAX_SPEED=1512000/" /etc/default/cpufrequtils
 
"1512000" instead.