Re: [seL4] Kernel lock