[kbuild-all] Re: [PATCH 2/2] serial: 8250: Report which option to enable for blacklisted PCI devices