Using GIC_CPU_MASK_SIMPLE(x), x should reflect the number of CPUs.
STM32MP13 is a single core A7.
Signed-off-by: NAlexandre Torgue <alexandre.torgue@foss.st.com>
Acked-by: NMarc Zyngier <maz@kernel.org>