The code in platform_init_mcu_infrastructure() is very strange.
platform_rtc_init() is guarded by #ifndef WICED_DISABLE_MCU_POWERSAVE,
which means RTC is not initialized if define WICED_DISABLE_MCU_POWERSAVE.
i.e Define WICED_ENABLE_MCU_RTC does not work if WICED_DISABLE_MCU_POWERSAVE is set.
This looks like a bug.
I agree to your comments.
RTC initialization should not be guarded by WICED_DISABLE_MCU_POWERSAVE. Enabling powersave should not stop initialization of RTC.
I will escalate the issue internally. Thank you for bringing this to our notice.