Re: [LinuxBIOS] IRQ problem