Function set_boot_current 

pub fn set_boot_current(pid: ProcessId, tid: ThreadId)

Register a boot-launched process as the current process.

Called from the bootstrap wrapper before entering user mode via enter_usermode_returnable(). This allows current_process() and current_thread() to return the correct process/thread during syscalls.