ODYSSEY STM32MP157C ARM Trusted Firmware support?

Could you share your changes as a patch? Have you tested it with ST’s custom kernel?