rtos: Add Cortex-R4 support for ThreadX