PolarSSL optimisations (config.h)