[ARM] vgic: Minor fixes for host-to-guest irq routing

This patch gets host-to-guest irq routing working on ARM fast model
by few minor fixes in __vgic_queue_irq().

Signed-off-by: Anup Patel <anup@brainfault.org>