pub fn set_kernel_stack_for(cpu_index: usize, stack_top: VirtAddr)
Update TSS.rsp0 for a specific CPU index.