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

From: Steven Rostedt
Date: Tue May 19 2015 - 23:01:23 EST


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

-- Steve