linux/drivers/rtc/rtc-armada38x.c