So wie ich in den XEN Lists gesehen habe, dürften im Dezember 2012 einige Patches zur Grafik bereitgestellt werden.
Der nächste Releasewechsel ist aber erst im Mai 2013 geplant. So lange möchte ich nicht warten.
Werde mal einen Linux Kernel 3.7.9 kompilieren und dann XEN 4.2 installieren und patchen.
Grüße