We made a (failed) play to get our hands on an AMD opteron devkit in order to talk about running xen on it. I did some research regarding arm64 + xen and put some notes up here http://blog.prgmr.com/xenophobia/2014/05/survey-of-xen-and-a... in case anyone is interested.