6479450f72c1 ("irqchip/gic-v4: Fix occasional VLPI drop")