freeRTOS and SDCARD uses TMR_ID_1. (kibi)

Hello. I'm Japanese. In WIFI_RGB_EASY_CONFIGURATION in TCP/IP sample of an MHC. Is PIC32MZ2048EFM100 use. The third party's freeRTOS and SDCARD uses TMR_ID_1. How to setting TMR_ID_9 in SDCARD. Thank you so much...