PolarSSL: add previous changes