Re: [patch 09/30] ARM: smp: Use irq_desc_kstat_cpu() in show_ipi_list()