ARM: dts: stm32: OP-TEE async notif interrupt for ST STM32MP15x boards

Define the GIC interrupt (PPI 15) to be used on ST STM32MP15x boards for OP-TEE async notif. Signed-off-by: Etienne Carriere <etienne.carriere@foss.st.com> Signed-off-by: Alexandre Torgue <alexandre.torgue@foss.st.com>


Author Etienne Carriere Committer Alexandre Torgue Date Commit Parent 0fc78aa6