Debug check_kernel.py