PATCH: applied linux kernel patch 3.4->3.4.1