patch for kernel 3.7