[seL4] CAmkES parsing issue