PATCH: applied linux kernel patch 3.4.94->3.4.95