Re: [PATCH] cpufreq: Fix RCU reboot regression on x86 PIC machines