deium, sure. I agree it's very likely to be 64bit and the current 32bit state of the software is just incidental. All I'm saying is Intel need to give us some real datasheets for the SoC and remove the ambiguity. Also there's currently no telling if the IFWI and u-boot loaders it uses will even allow the startup of 64bit code until someone tries it or Intel confirm - I have seen this artificial limitation elsewhere in Intel hardware/firmware mind you. Particularly with Atom netbooks and the like.
I will experiment because that's what I enjoy doing
I'll report back here if I find out anything definitive, if Intel haven't yet.