Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>
Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>