[polarssl] Initial import (#634025).