This is a note to let you know that I've just added the patch titled irqchip/gic-v3: Force propagation of the active state with a read-back to the 4.19-stable tree which can be found at: http://www.kernel.org/git/?p=linux/kernel/git/stable/stable-queue.git;a=summary The filename of the patch is: irqchip-gic-v3-force-propagation-of-the-active-state-with-a-read-back.patch and it can be found in the queue-4.19 subdirectory. If you, or anyone else, feels it should not be added to the stable tree, please let <stable@xxxxxxxxxxxxxxx> know about it.