Re: [LinuxBIOS] Tyan S2865 CK804 interrupt routing help needed