Some header order changing in the previous patch caused compiling not working. Add those headers.
https://review.trustedfirmware.org/c/trusted-firmware-m/+/2966