# CONFIG_RTC_DRV_OPTEE is not set
