powerpc/xics: Use hwirq for xics domain irq number