This was my exact thinking. I wanted a pi cluster but didn't want to deal with arm. Exciting...
Edit: Do you refer to this? https://blog.cloudkernels.net/posts/rpi4-64bit-virt/
Still at least some DMA issues: https://github.com/raspberrypi/linux/issues