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.