Improve performance of system calls

[snbuback]

• Register a special handler to timer events (if possible with the possibility of extension)
• When there is no action INT or SYSCALL should return to the same task (fast return) (viable since timer events are not more part of the same handler)
• do_syscall should receive all possible registers parameters (and stack pointer).