Patch "fix race in drivers/char/random.c:get_reg()" has been added to the 4.4-stable tree