Revert "sched/rt: Move rt specific bits into new header file"

This reverts commit 945c29e03de728b872f9472c0077e86e61af4c33.
cpu-boost: fix new