Multiple timers

Thank you for reporting this. Fixed in this PR - Fix code example in timers.h by aggarg · Pull Request #412 · FreeRTOS/FreeRTOS-Kernel · GitHub