That makes sense. I figured they were worried that an alternate OS would be more likely to exploit their encryption somehow, but if it's all using industry standard hardware then it really ought to be open.