The s3virge driver in 4.0.1 has known bugs that have been fixed in 4.0.2 It would be very nice if RedHat provided RPMedf XF 4.0.2
4.0.2 is currently in rawhide.