I'm talking about driver implementation and interoperability. They did the absolute minimum in terms of drivers to make it work; the whole CPUFreq layer is identical and even treats it as a CA15/CA7 part. All the auxilliary IP block drivers are 32-bit, the device tree is exposed as ARMv7. The platform that is being pushed to mainline right now / Exynos 7 is a pure ARM64 implementation. I'll try to investigate more once I have the device, but I really doubt you'll ever see this thing running in AArch64.
Will the 7420 be a new SoC, or just the 5433 rebranded together with a 64bit software stack?