Re: Get lost in Fiasco.OC regarding the io-apic IRQ number and CPU interrupt numbers