Add the necessary files for being able to build for AN519 platform with GCC.
Change for this issue is: https://review.trustedfirmware.org/#/c/133/
The change for this issue have been merged.