I think that too (that they are more concentrating on Cyrrus than on update for the existing users) because they can there sell more (or propably more easily) new licenses for Cyrrus based on Update 6 than finishing 4.2. first (with adding Gallium/SMP what propably is a lot more difficult to add than writing some drivers for a new hardware). I think I can remember Solie somewhere (I believe Q&A session) mentioning Update 7.
But even if... noone guaranteed SMP and Gallium, propably not even 4.2. update. Perhaps a X1000 owner can correct me there and say if it is mentioned somewhere in the contract. If not it is not in and Vox has no chance when he goes to court because of it.