# CONFIG_OPTEE is not set
