[tip: timers/urgent] clocksource: Use get_random_bytes() in clocksource_verify_choose_cpus()