sched: remove duplicated definition of highest_flag_domain

Signed-off-by: Willi Ye <williye97@gmail.com>