Re: [PATCH v4 1/1] pci: fix unavailable irq number 255 reported by BIOS

[Thomas Gleixner]

Bjorn, 

feel free to ship that with s/Signed-off-by tglx/Acked-by tglx/

Thanks,

        tglx