irqchip: gicv3: add hardware irq print in gic_show_resume_irq()

Currently gic_show_resume_irq() only prints linux irq number.
There are cases where linux irq number is not listed in
cat /proc/interrupts output. To check for spurious irq cases,
hardware irq number can help.

Change-Id: I03005412688041d7ec99a80b741c16e31db3394d
Signed-off-by: Prateek Sood <prsood@codeaurora.org>