Bochs compatible SMP booting and enable_irqsave()