clean up rt scheduler a bit