Fix repo checker for kernel