Manage the PIC32 watchdog timer, and activate sleep or idle modes, waking up using the watchdog.