libpfrng: add fast PRNG