[PATCH 4.16 164/196] random: use a different mixing algorithm for add_device_randomness()