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