Re: [LinuxBIOS] CK804 interrupt mapping for MSI MS-7135