This driver adds support for the PIC32 real time clock and calendar
peripheral:
	- reading and setting time
	- alarms provided by dedicated IRQ
Signed-off-by: NJoshua Henderson <joshua.henderson@microchip.com>
Signed-off-by: NAlexandre Belloni <alexandre.belloni@free-electrons.com>