[seL4] Re: Clean repo init