[PATCH 415/415] tools/sched_ext: Sync with scx repo