RFC: Corrupted video in X using the Xen kernel