[seL4] Re: Troubles with hello-world tutorial