[seL4] CAmkES 3.7.0 bug?