I recommend to try regular Raspbian. I read somewhere that they still have a 32bit system for compatibility reasons. The RasPi 3 already used a 64 bit CPU, but I think with Rasbian everything worked fine.
1 Like