Re: [PATCH 03/17] ARM: gic: Use cpu pm notifiers to save gic state