Linux kernel to be released under BSD licence