PATCH: applied linux kernel patches 3.0.35->39