Patch "sched/rt: Up the root domain ref count when passing it around via IPIs" has been added to the 4.14-stable tree