@danngreen
Your docs refer to STM32MP157A-DK1 but that seems to be discontinued and there's a (newer?) variant STM32MP157D-DK1 do think this will matter?