[LinuxBIOS] alix1c patch for irq.