Linus - kernel copyright licence covers software, does not extend to hardware