Very strange; can you send me a boot log ([email protected])?

The RTC is connected to some GPIO pins on the audio sampler chip. If this is not working (has been heard of before) then the RTC won't work.

Hugo