Merge "sched/rt: Prevent leaking kernel address"