You and I both know when the A1X1K is released, OS4 is not going to be SMP. Who will want to use Xena and for what purpose when they get their A1X1K out of the box? I'm sure Hyperion has some loft dreams they want OS4 to reach, but that is a long way from reality.
Yes, more to the point... as there will be no Xorro expension cards apart from those home made ones, who will be crazy enough to try them out and possibly fry their 3000$ X1000 in the process. That is, assuming that OS4 ever gets the official software support for XMOS chips...
There is a reason why you do not see these hobbyist boards like XMOS and Arduino integrated on the MBs elsewhere...