Jit64: fix typo in ps_sel and re-enable it
Fix format string warnings
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"
Jit64: simplify ps_sel
x64: Add support for 3-byte opcode instructions