[v4] binfmt_elf.c: use get_random_int() to fix entropy depleting