[LinuxBIOS] Missing IRQ table entries; irq_tables.c problem?