Correct SPL use of STM32MP15X_STM32IMAGE