I was referring to the BCM47722, but I was basing the assumption on the assumption that all the other 64bit SOCs had 64bit in the title page, and that one didn'

I was referring to the BCM47722, but I was basing the assumption on the assumption that all the other 64bit SOCs had 64bit in the title page, and that one didn't. But it is also 64bit. After poking around it does indeed seem like they don't make anything 32bit with an mmu anymore.