yes, they have, the SE2 used by CC Mk4 is broken (source: Coinkite), and SE1 also has been broken (source: a talk by the Ledger Donjon team) 

 Missed that, sounds interesting, need to watch the talk👀