To reduce boot time, remove the double startup IPI and 10 ms delay from lapic_cpu_ini...