Reduced polarssl/config.h a bit more
Switch from CTR_DRBG to HMAC_DRBG
Merge branch 'mpg-PolarSSL' into PolarSSL