Re: [LinuxBIOS] MB1030 / 3036 VGA problems with IRQs