насколько я понимаю, это не нарушает защиту от изменения выполнения в TEE, это просто теряет секретность того, что происходит внутри TEE. Таким образом, один класс очень ценных случаев использования остается.