Re: [LinuxBIOS] MSI ms 7250 (based on Giga57Sli) none SMP kernel IRQ problem