Configuration of platform-provided TEE stack.
NOTE: This configuration parameter replaces ProductSettings::tee_clients.
ProductSettings::tee_clients