# CONFIG_RTC_DRV_RX8025 is not set
