anomaly256, I am going agree with arfoll - I am satisfied enough that it is probably a 64 bit SoC. Feel free to dig around for more clues. Personally, I am satisfied.
When you make a chip using 22nm, and ARK reports all the z34xx's as 64 bit - I am satisfied. Regardless what features have been fused off, pins repurposed, and functions not exposed, -- how would they change a 64 bit back to 32 bit ?