xmos_cmake_toolchain fix #408

Closed ed-xmos closed 9 months ago