Signed-off-by: Filipe Rinaldi <filipe.rinaldi@arm.com>
Change-Id: Ibe7dbf53152bfceba8189aac00182050d429dc33