[seL4] Re: Formally verified AES C code