Reduced polarssl/config.h a bit more
Switch from CTR_DRBG to HMAC_DRBG