bf1cf71fcd
initialize APs. We need the lapic set up and the boot processor may not be attached first. - mp_cpu_start: write back and invalidate the data cache before starting the init IPI sequence. If a buggy BIOS has left the AP with cache disabled, it might not be able to participate in the cache coherency protocol.