A couple of his are behind compared to mine, these are a before and after doing the 2.5.1 this morning:
Before
After
IPMA
IPMA
<NODEID>706
<NODEID>706
<F10A>ML3T-14H106-AFJ</F10A>
<F10A>ML3T-14H106-AFN</F10A>
<F110>DSML3T-14G647-AF</F110>
<F110>DSML3T-14G647-AF</F110>...
Yes, it occurred during the Device Check but several users reported it showing when in Debug so it mus have been a timing thing. I just confirmed your findings as well...
Everyone, you should only run a PMI if you're stuck with a persistent DTC after an update and most importantly, DO NOT run subsequent PMI's on the same module or you're asking for trouble....
As @JEB said, do not use the saved profile as that itself may have issues. I am very fluent in FORScan and I will say this, I never save the profile regardless and always let it scan fresh. Message me your VIN and truck info, i.e. 3.5L or 5.0, etc... and I'll look at your AsBuilt and see what if...