I have reported https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=220134 because the current Xen kernel is unusable on a Vaio SZ3WXP - the clock runs twice as fast as it should and applications crash. Is anyone else experiencing similar symptoms with this sort of hardware? Adam