Update notes for submitted changes

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