I initially tried calling prst_pwm_init() in main(), and just using start/stop in
the callback, but that led to a weird behavior in the PWM output. It was set to
high after the end of the callback.
Callnig uninit/re-calling init() inside the RTC callback fixed, but more investigation
is required.
