Use hardware timestamps in RNG seeding