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