I believe that the XMOS chip is in the X1K either for:
1-Marketing BS: Trying to convince you it is a custom chip and so the X1K board itself follows an Amiga concept, when it doesnt and that it can be a powerfull coprocessor when it is another thing.
2-Leftover: The X1K is just another embedded PPC motherboard, some company has as leftover because they couldnt market them, and as embedded mobo, it came with a microcontroller, the XMOS.
