64bit build of kernel 3.17