Ledger ports ML-KEM/ML-DSA into its SDK, proving the NIST PQ stack can fit in a secure element if you shave hard enough.