Adding new system call for passing wcet calls to kernel space.. Dummy syscall works..