- IPI vector 0xFD (253) registered in IDT + ISR assembly stub
- isr_handler dispatches vector 253: sends LAPIC EOI then calls
schedule() on the receiving CPU
- sched_ipi_resched() sends IPI to wake a remote idle CPU when
work is enqueued to its runqueue (avoids waking self)
- sched_enqueue_ready() sends IPI after enqueuing to remote CPU
- sched_pcpu_inc_load() called when enqueuing new kernel threads
All processes still dispatched to CPU 0 — per-CPU TSS is needed
before user processes can run on APs. The IPI + load tracking
infrastructure is ready for when per-CPU TSS is added.