[Bug 211303] Xen kernel: Update to alpha5 leaves me with only 60Hz display