added kernel 3.2 for debian wheezy