patch for the kernel