Align GCC startup file (for AN521) with the documentation.
Change for this issue is https://review.trustedfirmware.org/#/c/128/
The change for this issue has been merged.