found a missing line in the kernel