[LinuxBIOS] Re: floating irq_table