Change for this issue: https://review.trustedfirmware.org/#/c/127/
The change for this issue has been merged.