1) Introduce the TSAR hal_cpu_context_switch() function. 2) Introduce the generic vfs_kernel_move() function.