git patch for cpukit