Is support for a rtc like ds3231included in kernel?