CONFIG_RTC_DRV_OPTEE=m
