# CONFIG_RTC_DRV_PL030 is not set