irqchip/GICv2m: Fix GICv2m build warning on 32 bits