Non-Abelian Born–Infeld action and Type I–heterotic duality (I): Heterotic F6 terms at two loops☆