[PATCH 4.20 329/352] irqchip/gic-v3-its: Plug allocation race for devices sharing a DevID