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