Re: [PATCH] dt-bindings: arm: Fix CoreSight CTI Kconfig symbol