Sorry to be a pest about this, but could we get the newer kernel (.5-71) into the F7 updates? Current .4-65 appears to be a bit OOPS happy (https://bugzilla.redhat.com/show_bug.cgi?id=254281). I even had a complete crash on x86_64 (admittedly with a vmware tainted version of it). Nevertheless, .5 appears better from what I can see (no OOPSes so far). -- Bojan