polarssl: disable an unused random number generator