hw/arm/mps2-tz: Condition IRQ splitting on number of CPUs, not board type