[seL4] Re: Bug when compling in release mode