Re: i915_driver_irq_handler: irq 42: nobody cared [generic IRQ handling broken?]