binfmt_elf.c: use get_random_int() to fix entropy depleting
 sched: Improve scalability via 'CPU buddies', which withstand random perturbations