[seL4] Clang & LLVM