[TF-A] Why can TF-A code still run in an address space that it itself has set to be "Execute-Never"?