separate softirq/irq stack on arm

[Jason A. Donenfeld]

Hey folks,

I've been under the assumption that Linux on ARM had a separate stack
for IRQ/SoftIRQ processing. However, in trying to look for how this is
implemented, I've only found that ARM64 has a separate IRQ stack, but
ARM32 does not. Is this correct, that ARM32 does not use a separate
stack? In that case, is this something on the table to add at some
point, just as MIPS did recently?

Thanks,
Jason