I agree with your dual OS assessment. I also realize they have to be able to procure the SoCs, and since I don't know who will sell them, I'm assuming they can get anything.
I should note that the novathor a9600 has no baseband in it. ST is also hurting to sell some chips, not that it would...