US8566585B2 - System and a Method for Processing System Calls in a Computerized System That Implements a Kernel