random: make 'add_interrupt_randomness()' do something sane