[seL4] Re: capdl-loader questions