kernel patch for generation *.i files during build process