[bin] add 3.9 kernels