Re: [LinuxBIOS] DK8-HTX: 8131 B-bus IRQ problem?