I've been following the pine64 devices for a while, but the "pro" is too big (14") to fit that niche for me and the non-pro pinebook is too weak.

Too bad, I'd love to run aarch64!