[seL4] UnknownSyscall Exception Handler for non-seL4 syscall API