AFAIK at the moment 64bit support is to run 32bit SailfishOS on 64bit devices. So kernel is 64bit and userland is 32bit. But maybe it will change when Xperia comes.