[seL4] Threads tutorial fails to initialize