Basic profiling information on highstates.
Merge pull request #12345 from cachedout/highstate_profile

Basic profiling information on highstates.
maint process is still buggy - needs more love
Merge remote-tracking branch 'upstream/develop' into sam_raet_38