Patch 89dba82df accidentally removed it. Put it back. Change-Id: Ic7a5a13ae89b0b86ccbea56fecfe12bef57a90b9 Signed-off-by: Boyan Karatotev <boyan.karatotev@arm.com> (cherry picked from commit 28a0b5a16a)
89dba82df
28a0b5a16a