Change-Id: Ice129ecddc17c3c24e177cf4f2d3445daeb6b455 Signed-off-by: Ross Burton <ross.burton@arm.com> Signed-off-by: Jon Mason <jon.mason@arm.com>