It seems that the details were already posted all over the place over Twitter and Telegram, so here is an explanation of it:
In Coldcard, there are two implementations of getting bytes from the HWRNG...
what about mk3 where seed was generated with firmware prior to v4.0.0? according to grok, seed was generated using hardware trng prior to v4.0.0.
1