Update PolarSSL to 1.3.1
PolarSSL: add previous changes
PolarSSL: swap havege with entropy interface

HAVEGE is disabled by default because it is
"considered unsafe for primary usage"