# CONFIG_OPTEE_STATIC_PROTMEM_POOL is not set
