[PATCH 4.19 086/234] random: do not xor RDRAND when writing into /dev/random