random: Change initial extra seeding from 2400 bits to 128 bits.