# CONFIG_RTC_DRV_FM3130 is not set
