drivers/char/random.c: fix boot id uniqueness race