PolarSSL optimisations (config.h)
Merge latest picocoin