python interface to intel hardware RNG