[RFC][PATCH 0/4] Fix up ACPI processor idle vs RCU

[Peter Zijlstra]

Hi,

A number of people have been tripping over the improved RCU-lockdep complaints
in idle.

These 4 patches attempt to cure ACPI processor idle. I've done my best to not
wreck things, but it's all magical code with very few comments, so who knows..

Boris tested an earlier version of these patches and they worked for his
32bit Atom board that was triggering complaints.