[seL4] Re: Some small details in kernel code and docs