9b5601b7c7
This commit fixes how SMP FreeRTOS feeds the INT WDT. Previously, the port used vApplicationTickHook(). Now, all cores will feed the INT WDT in xPortSysTickHandler().