On: Rock Pi X Intel Cherry Trail Board

[vardump]

Just out of curiosity, what kind of issues you have with ARM?

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