After double-checking the code, it looks like vPortFree() and vPortMalloc() are not used in FreeRTOS interrupt routines (xxxxFromISR()), so it was a not necessary change!
After double-checking the code, it looks like vPortFree() and vPortMalloc() are not used in FreeRTOS interrupt routines (xxxxFromISR()), so it was a not necessary change!