[Kernel] system does not lock scheduler when invoking soft-timer timeout function.