Linux stayed away from including it into the shipped kernel, which is indeed a derivative work. Their argument is that kernel module loaded into kernel separately is acceptable to avoid GPL violation.