Squashed 'platforms/Cross/plugins/' changes from 39cd110..b81532d

b81532d Merge Lars' latest changes to the GdbARMPlugin (from a while back).

git-subtree-dir: platforms/Cross/plugins
git-subtree-split: b81532d703b8a6b342ab914147644a653252e3d8
Merge commit '9ee7e63bf4f46c1c1a9f4957c73da678fce098ce'