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

Change-Id: Ifed1cef6d6a31c3ed23dad03a567b3b9eddf3a57