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