[PATCH 6.1.y 11/12] timers: Update the documentation to reflect on the new timer_shutdown() API