Data race detector for Linux kernel modules