[PATCH 355/415] sched_ext: Add time helpers for BPF schedulers