random: create add_device_randomness() interface