- Replaced TARGET_OS with TOKI_OS for all source path related operations
- Introduced a COMPATIBLE_MACHINE statements for freertos-portable
- Removed the virtual/kernel dependency from the toki-xilinx-image target