The option nohz_full for real time kernel does not work

Issue

When booting with kernel 3.10.0-229.rt56.161.el6rt.x86_64 all the CPUs have the same number of LOC in /proc/interrupts :

$ grep LOC /proc/interrupts 
 LOC:    2334621    2329252    2333683    2325669    2325495    2325633    2325443    2325914    2325622    2325622    2325623    2325589    2325579    2325626    2325435    2325844   Local timer interrupts

With the previous kernel version we seem to have the correct behaviour:

$ cat /proc/interrupts  | grep LOC
 LOC:  204884854      53953    5797157      27218     181629      26978      95005      26956      76224      26886      78968      26849      76086      26805      78739      26725   Local timer interrupts
$ uname -a
Linux <hostname> 3.10.0-229.rt56.147.el6rt.x86_64 #1 SMP PREEMPT RT Tue Mar 24 17:50:44 EDT 2015 x86_64 x86_64 x86_64 GNU/Linux