[ARM64] Printing IRQ stack usage information