Re: ..MP-BIOS bug: 8254 timer not connected to IO-APIC