Signed-off-by: Jeremy Johnson <jeremy.johnson@arm.com> Change-Id: I8cd95ed0ae3260eea785e4e0275961534cd1f0c5