Newer kernel for F7?

[Bojan Smojver]

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