Fix comment, and xsecure prefix.
Created by: silabs-krdosvik
Remove comment about already removed code (see https://github.com/openhwgroup/core-v-verif/pull/2232) Fix xsecure prefix.
Formal compiles Hello-world passes Didnt see the need for a ci check.