Re: [RFC PATCH 00/17] ARM: common idle infrastructure