S32G2如何将3个SPI路由到四个A53内核？

从S32G2 RM中的S32G2_Interrupt_Routing.xls可以看出GIC有3个core-to-core的SPI，如下：

CPU 到 M7/A53 中断#0

CPU 到 M7/A53 中断#1

CPU 到 M7/A53 中断#2

从 RM 来看，我认为每个 A53 内核应该有 3 个内核到内核的 msi，所以应该有 4x3 = 12 个 SPI 连接到 GIC，对吗？
如何将 3 个 SPI 路由到四个 A53 内核？