Currently interrupts are not disabled before entering xTaskIncrementTick function for both A53 

cores in port.c: https://github.com/TexasInstruments/mcupsdk-core-k3/blob/k3_main/source/kernel/freertos/portable/GCC/ARM_CA53/port.c#L310 

This might lead to corruption in some kernel data structures and variables like uxTopReadyPriority if another interrupt is trigger while xTaskIncrementTick is executing.

Adding critical section protection portDISABLE_INTERRUPTS() / portENABLE_INTERRUPTS() around  xTaskIncrementTick() in the A53 port.c should solve this issue, this is already done for M4 core:

https://github.com/TexasInstruments/mcupsdk-core-k3/blob/k3_main/source/kernel/freertos/portable/TI_ARM_CLANG/ARM_CM4F/port.c#L379