Update patch-kernel.cc for 10-STABLE and beyond