This post-quantum Kex is increasingly popular both OpenSSH and Dropbear SSH have it already... attractive too on an "official" level?: https://www.theregister.com/2024/12/17/australia_dropping_crypto_keys/
This should be feature-gated (non-default?) to keep binary size under control.
Prior recent art on Espressif's ESP-IDF: wolfSSL/wolfssl#8813