Re: [PATCH 9/9] POWERPC: pseries: cpuidle: use time keeping flag