Did old versions of the STM32H753xi have an internal Switched Mode Power Supply?

The development kit schematic appears to have SMPS connections centered on pins E1, F1, G1 and G2, but later versions of STMCube list these pins as "No Connect"

See snips from my Orcad schematic that I'm working on and ST's en.MB1246-e02 development kit schematic below.

Am I going to be OK with doing an NC on these pins?

I've attached three snips for reference:

SMPS is a snip from ST's en.MB1246-e02 schematic

NoConnects is a snip showing the NC pins on my schematic

Power Section is a snip that shows all of the power connections on my schematic.

Critique appreciated.

adTHANKSvance