Updated PicoC support in avr32/rtc.c