[kbuild-all] Re: [PATCH 04/17] PCI: aardvark: Fix reading MSI interrupt number