32 bit ARM for virtualization is a dead end. I have a 64 bit ARM machine at my feet which has far more RAM, is fast, has real server hardware, and KVM that just works.
It has 16 GB ECC RAM in regular DIMMs. I can't comment on power and performance, mainly because it's under NDA, but also because it will change when the final hardware is available.