Fix discrepancy in logging messages (#1189)

Signed-off-by: Marco Antognini <marco.antognini@arm.com>
11 files changed