SMP Booting, APIC, and IRQs