polarssl: added missing end-of-comment from previous commit