pub fn send_init_ipi(dest: u8) -> KernelResult<()>
Send INIT IPI to a target CPU for AP startup sequence.