checkpatch.pl: check for openocd tree, not for kernel tree