[seL4] Re: About the BuildSystem of seL4