[LinuxBIOS] Linuxbios on ms7250 irq on pci slots problem