Squashed 'platforms/Cross/plugins/' changes from 782de8a..e678d3a

e678d3a Fix redef of BaseHeaderSize in platforms/Cross/plugins/IA32ABI/ia32abicc.c.

git-subtree-dir: platforms/Cross/plugins
git-subtree-split: e678d3a6d62e5cda239aba1df056f1f99a0b7244
Merge commit '74e322f7c23c0ad61e53e101be05352684e4111b'