[LinuxBIOS] irq_table/mptable problems?