RE: [PATCH] stm32mp: psci: set cntfrq register of cpu on