scripts/CKC: speed up the git-grep
    
    Search only in patches.*. I.e. skip especially all those large kabi
    files.
    
    The speedup is significant:
      real    1m28,309s
    to:
      real    0m57,260s