Created attachment 227665 [details]
We no longer have a polarssl as that is what mbedtls was called once upon a time. so no point in continuing to check for it.
It was moved over and governed by ARM and renamed a while ago I am surprised no has caught this. polarssl has not been a thing for a while now.