kernel code license