[seL4] Re: Generating CAmkES glue-spec and glue-proofs