extmod/modrandom: 为 64 位系统添加 64 位本机 PRNG。