All kernels need to be in device dependencies file now