# CONFIG_RTC_DRV_EFI is not set