A list of symbols to remove will be added in a subsequent commit. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>