fix for 3.2 kernel on amd64

pull request with the patches in #4