tree 8586fdd66ecb14ff9d07b87c1f7c2cadf61d9155
parent b0d98303739b4a5de4cd97e3d318a731d14280e2
author Dave Rodgman <dave.rodgman@arm.com> 1697032075 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1697032075 +0100

Fix a couple of typos related to renaming options

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