Re: Question about shared interrupts in devicetree