Hi, i noticed an older bugfix [1] for irq-bcm2836.c which hasn't applied upstream yet. Since i don't have a Raspberry Pi 2 i want to ask if this still relevant / reproducible with current mainline? [1] - https://github.com/raspberrypi/linux/commit/83ce9f1a637ad109f607a73ac4d5033159e7979f