As promised, here a first version of a STM32 wallclock driver, tested in
all clock configurations. I will implement more features in the future,
things like preserving the RTC on reset, setting alarms etc. But for now
this works great as a normal wallclock.