I didn't know! thanks! I have a Pi 2 right now for ARM32, I'm completely happy with it.

There is no supported 64 bit kernel yet, though.