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

From: Thomas Gleixner
Date: Thu Jan 28 2016 - 03:42:30 EST


Bjorn,

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

Thanks,

tglx