[PATCH RT] rt, nohz_full: fix nohz_full for PREEMPT_RT_FULL

From: Steven Rostedt
Date: Tue May 19 2015 - 22:58:59 EST


I'm adding this to the next 3.12-rt release.

-- Steve