Re: checkpatch.pl false positive?