Mbedtls is small code size configurable build library. I am not surprised they’re using it, it embeds with applications or firmwares easily and has a decent API. Which cannot be said for openssl.