Replying to "Build newer Intel i40e drivers from source"