Yep I think support for all of the X1000 features (dual core, 64bit, Xena, SATA etc) may never happen, would loved to be proved wrong of course.
SATA was already supported when it shipped. XMOS support is there also, it's just that no-one has done anything useful with it yet.