SysTick vs. keeping an Arduino Due in Sleep mode