Convert the VExpress platform to be using the gic_handle_irq
function as its primary interrupt handler.
Signed-off-by: NMarc Zyngier <marc.zyngier@arm.com>