Patch "irqchip/mips-gic: Avoid spuriously handling masked interrupts" has been added to the 4.15-stable tree