[PATCH v2 7/9] board: stm32mp1: update vddcore in SPL