In terms of this article, the RK3288 is a 32bit ARM7.
I've also been looking at this. I think the Google Pixel C might be a good option, for a 64bit ARM laptop. I've seen some talk of running Ubuntu on it. But it uses the Nvidia TX1 which has good Ubuntu support on the TX1 Jetson.
It is locked. There is a switch like with the Chromebooks, but to reach it you have to disassemble it. OTOH rooting and running custom kernels works. Not ideal but it works for some use-cases.
I've also been looking at this. I think the Google Pixel C might be a good option, for a 64bit ARM laptop. I've seen some talk of running Ubuntu on it. But it uses the Nvidia TX1 which has good Ubuntu support on the TX1 Jetson.