PATCH: applied linux kernel patch 3.0.95->96