tree 04e18149232dddc71cbecebe2590441ca7139b3d
parent d462ca1f72c30ea490fca4ed2c0857db0c9d15ad
author Dave Rodgman <dave.rodgman@arm.com> 1625058982 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1625058982 +0100

Change some section names

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>