# CONFIG_RTC_DRV_NVIDIA_VRS10 is not set
