migrate to ptxdist 2014.10.0
switch to already prepared kernel 3.12