stm32mp1: psci: add synchronization with ROM code