Patch for integrated kernel building