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