pub fn kernel_stack_top(index: usize) -> Option<u64>
Get the per-CPU kernel stack top for the given CPU index.