RHEL did release a new kernel. Presumably it has the fix (though I guess I didn't actually check)