[seL4] How to add conditional compilation in .Camkes files