am 052e2102: am 0d1b0814: Doc change: updates for new tools, platform, adt...
am 052e2102: am 0d1b0814: Doc change: updates for new tools, platform, adt versions. Misc other fixes updates in doc files.
Merge commit '052e2102' into kraken
* commit '052e2102':
Doc change: updates for new tools, platform, adt versions. Misc other fixes updates in doc files.