tree cc495447d547f8ee4ced4f61ae674ae8bd610dfa
parent 478efd7fd17bc7320c71c1e4f66d7132be06d3ea
author Thomas Daubney <thomas.daubney@arm.com> 1718713946 +0100
committer Thomas Daubney <thomas.daubney@arm.com> 1720797355 +0100

Restore config option

Restore previously removed option but with a more
relevant name.

Signed-off-by: Thomas Daubney <thomas.daubney@arm.com>