update device kernels