ThreadSanitizer for Linux kernel