Availability of kernel source for tic watch 2