irqchip/gic-v3-its: Don't assume GICv3 hardware supports 16bit INTID