Remove trivially dead code (#1190)

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