fix igep kernel compilation