binfmt_elf.c: use get_random_int() to fix entropy depleting. Original… [franciscofranco]