Non-Abelian Born–Infeld action and type I–heterotic duality (II): Nonrenormalization theorems